From f2c7b1453de9b2423d377097e42f3fb216fec5b8 Mon Sep 17 00:00:00 2001
From: typebrook <typebrook@gmail.com>
Date: Mon, 2 Mar 2020 22:01:09 +0800
Subject: update

---
 tools/install.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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}
 REMOTE=${REMOTE:-https://github.com/${REPO}.git}
 BRANCH=${BRANCH:-dev}
 
-if [[ -d $SETTING_DIR ]]; then
+if [ ! -d $SETTING_DIR ]; then
   git clone --depth=1 --branch "$BRANCH" "$REMOTE" "$SETTING_DIR" || {
       error "git clone of settings repo failed"
       exit 1
-- 
cgit v1.2.3-70-g09d2