aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools/install.sh
diff options
context:
space:
mode:
Diffstat (limited to 'tools/install.sh')
-rw-r--r--tools/install.sh2
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}
8REMOTE=${REMOTE:-https://github.com/${REPO}.git} 8REMOTE=${REMOTE:-https://github.com/${REPO}.git}
9BRANCH=${BRANCH:-dev} 9BRANCH=${BRANCH:-dev}
10 10
11if [[ -d $SETTING_DIR ]]; then 11if [ ! -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