diff options
author | Hsieh Chin Fan <typebrook@gmail.com> | 2022-05-12 23:37:19 +0800 |
---|---|---|
committer | Hsieh Chin Fan <typebrook@gmail.com> | 2022-05-12 23:37:19 +0800 |
commit | 29ee36b708cb89ba8a91b39bc17ba6442c25c392 (patch) | |
tree | fc5ce67ce503d86468d0b47e77e3d8ce358d6ec4 /tools/install.sh | |
parent | b6e40bb0bd42d0d9ec757d6e0c38a03898bb248e (diff) |
Update
Diffstat (limited to 'tools/install.sh')
-rwxr-xr-x | tools/install.sh | 6 |
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 @@ | |||
3 | set -e | 3 | set -e |
4 | 4 | ||
5 | # Default settings | 5 | # Default settings |
6 | SETTING_DIR=${SETTING_DIR:-~/settings} | 6 | SETTING_DIR=${SETTING_DIR:-~/helper} |
7 | REPO=${REPO:-typebrook/settings} | 7 | REPO=${REPO:-typebrook/helper} |
8 | REMOTE=${REMOTE:-https://github.com/${REPO}.git} | 8 | REMOTE=${REMOTE:-https://github.com/${REPO}.git} |
9 | BRANCH=${BRANCH:-dev} | 9 | BRANCH=${BRANCH:-dev} |
10 | RCFILE=${RCFILE:-~/.$(basename $SHELL)rc} | 10 | RCFILE=${RCFILE:-~/.$(basename $SHELL)rc} |
11 | 11 | ||
12 | if [ ! -d $SETTING_DIR ]; then | 12 | if [ ! -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 | } |
17 | fi | 17 | fi |