aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools/install.sh
diff options
context:
space:
mode:
authortypebrook <typebrook@gmail.com>2020-03-02 21:54:55 +0800
committertypebrook <typebrook@gmail.com>2020-03-02 21:54:55 +0800
commit5907605fcfa68c8acd749d45008649539d74b4ce (patch)
tree03b3a7a806f645376a499c8d176db40a10acff96 /tools/install.sh
parent39f98691082ea55cae182d77c7767616bed5f679 (diff)
update
Diffstat (limited to 'tools/install.sh')
-rw-r--r--tools/install.sh10
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}
8REMOTE=${REMOTE:-https://github.com/${REPO}.git} 8REMOTE=${REMOTE:-https://github.com/${REPO}.git}
9BRANCH=${BRANCH:-dev} 9BRANCH=${BRANCH:-dev}
10 10
11git clone --depth=1 --branch "$BRANCH" "$REMOTE" "$SETTING_DIR" || { 11if [[ -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 }
16fi
15 17
16sed "/^# $REPO/, /^$/ d" 18sed "/^# $REPO/, /^$/ d"
17cat <<EOF 19cat <<EOF