diff options
author | typebrook <typebrook@gmail.com> | 2020-03-02 21:54:55 +0800 |
---|---|---|
committer | typebrook <typebrook@gmail.com> | 2020-03-02 21:54:55 +0800 |
commit | 5907605fcfa68c8acd749d45008649539d74b4ce (patch) | |
tree | 03b3a7a806f645376a499c8d176db40a10acff96 /tools | |
parent | 39f98691082ea55cae182d77c7767616bed5f679 (diff) |
update
Diffstat (limited to 'tools')
-rw-r--r-- | tools/install.sh | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/tools/install.sh b/tools/install.sh index 1969c9a..8acbbdd 100644 --- a/tools/install.sh +++ b/tools/install.sh | |||
@@ -8,10 +8,12 @@ REPO=${REPO:-typebrook/settings} | |||
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 | 10 | ||
11 | git clone --depth=1 --branch "$BRANCH" "$REMOTE" "$SETTING_DIR" || { | 11 | if [[ -d $SETTING_DIR ]]; then |
12 | error "git clone of settings repo failed" | 12 | git clone --depth=1 --branch "$BRANCH" "$REMOTE" "$SETTING_DIR" || { |
13 | exit 1 | 13 | error "git clone of settings repo failed" |
14 | } | 14 | exit 1 |
15 | } | ||
16 | fi | ||
15 | 17 | ||
16 | sed "/^# $REPO/, /^$/ d" | 18 | sed "/^# $REPO/, /^$/ d" |
17 | cat <<EOF | 19 | cat <<EOF |