diff options
| -rw-r--r-- | tools/install.sh | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/tools/install.sh b/tools/install.sh new file mode 100644 index 0000000..54bcef1 --- /dev/null +++ b/tools/install.sh | |||
| @@ -0,0 +1,16 @@ | |||
| 1 | #! /usr/bin/env bash | ||
| 2 | |||
| 3 | set -e | ||
| 4 | |||
| 5 | # Default settings | ||
| 6 | SETTING_DIR=${SETTING_DIR:-~/settings} | ||
| 7 | REPO=${REPO:-typebrook/settings} | ||
| 8 | REMOTE=${REMOTE:-https://github.com/${REPO}.git} | ||
| 9 | BRANCH=${BRANCH:-master} | ||
| 10 | |||
| 11 | git clone --depth=1 --branch "$BRANCH" "$REMOTE" "$SETTING_DIR" || { | ||
| 12 | error "git clone of settings repo failed" | ||
| 13 | exit 1 | ||
| 14 | } | ||
| 15 | |||
| 16 | cd "$SETTING_DIR" && make | ||