diff options
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 9f51f8c..1969c9a 100644 --- a/tools/install.sh +++ b/tools/install.sh | |||
| @@ -6,7 +6,7 @@ set -e | |||
| 6 | SETTING_DIR=${SETTING_DIR:-~/settings} | 6 | SETTING_DIR=${SETTING_DIR:-~/settings} |
| 7 | REPO=${REPO:-typebrook/settings} | 7 | REPO=${REPO:-typebrook/settings} |
| 8 | REMOTE=${REMOTE:-https://github.com/${REPO}.git} | 8 | REMOTE=${REMOTE:-https://github.com/${REPO}.git} |
| 9 | BRANCH=${BRANCH:-master} | 9 | BRANCH=${BRANCH:-dev} |
| 10 | 10 | ||
| 11 | git clone --depth=1 --branch "$BRANCH" "$REMOTE" "$SETTING_DIR" || { | 11 | git clone --depth=1 --branch "$BRANCH" "$REMOTE" "$SETTING_DIR" || { |
| 12 | error "git clone of settings repo failed" | 12 | error "git clone of settings repo failed" |