diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/install.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/tools/install.sh b/tools/install.sh index 54bcef1..4d029c4 100644 --- a/tools/install.sh +++ b/tools/install.sh | |||
| @@ -13,4 +13,12 @@ git clone --depth=1 --branch "$BRANCH" "$REMOTE" "$SETTING_DIR" || { | |||
| 13 | exit 1 | 13 | exit 1 |
| 14 | } | 14 | } |
| 15 | 15 | ||
| 16 | sed "/^# $REPO/, /^$/ d" | ||
| 17 | cat <<EOF | ||
| 18 | # $REPO | ||
| 19 | export SETTING_DIR=$HOME/settings | ||
| 20 | source $SETTING_DIR/tools/load-settings.sh | ||
| 21 | |||
| 22 | EOF | ||
| 23 | |||
| 16 | cd "$SETTING_DIR" && make | 24 | cd "$SETTING_DIR" && make |