aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools/install.sh
diff options
context:
space:
mode:
authorHsieh Chin Fan <typebrook@gmail.com>2022-05-12 23:37:19 +0800
committerHsieh Chin Fan <typebrook@gmail.com>2022-05-12 23:37:19 +0800
commit29ee36b708cb89ba8a91b39bc17ba6442c25c392 (patch)
treefc5ce67ce503d86468d0b47e77e3d8ce358d6ec4 /tools/install.sh
parentb6e40bb0bd42d0d9ec757d6e0c38a03898bb248e (diff)
Update
Diffstat (limited to 'tools/install.sh')
-rwxr-xr-xtools/install.sh6
1 files changed, 3 insertions, 3 deletions
diff --git a/tools/install.sh b/tools/install.sh
index 27418c6..1f1dd86 100755
--- a/tools/install.sh
+++ b/tools/install.sh
@@ -3,15 +3,15 @@
3set -e 3set -e
4 4
5# Default settings 5# Default settings
6SETTING_DIR=${SETTING_DIR:-~/settings} 6SETTING_DIR=${SETTING_DIR:-~/helper}
7REPO=${REPO:-typebrook/settings} 7REPO=${REPO:-typebrook/helper}
8REMOTE=${REMOTE:-https://github.com/${REPO}.git} 8REMOTE=${REMOTE:-https://github.com/${REPO}.git}
9BRANCH=${BRANCH:-dev} 9BRANCH=${BRANCH:-dev}
10RCFILE=${RCFILE:-~/.$(basename $SHELL)rc} 10RCFILE=${RCFILE:-~/.$(basename $SHELL)rc}
11 11
12if [ ! -d $SETTING_DIR ]; then 12if [ ! -d $SETTING_DIR ]; then
13 git clone --depth=1 --branch "$BRANCH" "$REMOTE" "$SETTING_DIR" || { 13 git clone --depth=1 --branch "$BRANCH" "$REMOTE" "$SETTING_DIR" || {
14 error "git clone of settings repo failed" 14 error "git clone of helper repo failed"
15 exit 1 15 exit 1
16 } 16 }
17fi 17fi