diff options
| author | typebrook <typebrook@gmail.com> | 2020-03-02 22:01:09 +0800 |
|---|---|---|
| committer | typebrook <typebrook@gmail.com> | 2020-03-02 22:01:09 +0800 |
| commit | f2c7b1453de9b2423d377097e42f3fb216fec5b8 (patch) | |
| tree | e87a6ade9bd0211df34d22e112822127c98830d0 /tools | |
| parent | 5907605fcfa68c8acd749d45008649539d74b4ce (diff) | |
update
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/install.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/install.sh b/tools/install.sh index 8acbbdd..89d805a 100644 --- a/tools/install.sh +++ b/tools/install.sh | |||
| @@ -8,7 +8,7 @@ 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 | if [[ -d $SETTING_DIR ]]; then | 11 | if [ ! -d $SETTING_DIR ]; then |
| 12 | git clone --depth=1 --branch "$BRANCH" "$REMOTE" "$SETTING_DIR" || { | 12 | git clone --depth=1 --branch "$BRANCH" "$REMOTE" "$SETTING_DIR" || { |
| 13 | error "git clone of settings repo failed" | 13 | error "git clone of settings repo failed" |
| 14 | exit 1 | 14 | exit 1 |