aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-rw-r--r--tools/install.sh16
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
3set -e
4
5# Default settings
6SETTING_DIR=${SETTING_DIR:-~/settings}
7REPO=${REPO:-typebrook/settings}
8REMOTE=${REMOTE:-https://github.com/${REPO}.git}
9BRANCH=${BRANCH:-master}
10
11git clone --depth=1 --branch "$BRANCH" "$REMOTE" "$SETTING_DIR" || {
12 error "git clone of settings repo failed"
13 exit 1
14}
15
16cd "$SETTING_DIR" && make