diff options
-rw-r--r-- | tools/install.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/install.sh b/tools/install.sh index 4d029c4..9f51f8c 100644 --- a/tools/install.sh +++ b/tools/install.sh | |||
@@ -15,10 +15,11 @@ git clone --depth=1 --branch "$BRANCH" "$REMOTE" "$SETTING_DIR" || { | |||
15 | 15 | ||
16 | sed "/^# $REPO/, /^$/ d" | 16 | sed "/^# $REPO/, /^$/ d" |
17 | cat <<EOF | 17 | cat <<EOF |
18 | |||
18 | # $REPO | 19 | # $REPO |
19 | export SETTING_DIR=$HOME/settings | 20 | export SETTING_DIR=$HOME/settings |
20 | source $SETTING_DIR/tools/load-settings.sh | 21 | source $SETTING_DIR/tools/load-settings.sh |
21 | 22 | ||
22 | EOF | 23 | EOF >> ~/.$(basename $SHELL)rc |
23 | 24 | ||
24 | cd "$SETTING_DIR" && make | 25 | cd "$SETTING_DIR" && make |