diff options
Diffstat (limited to 'tools/install.sh')
-rwxr-xr-x | tools/install.sh | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/tools/install.sh b/tools/install.sh index 0b59e28..c765c62 100755 --- a/tools/install.sh +++ b/tools/install.sh | |||
@@ -1,6 +1,6 @@ | |||
1 | #! /usr/bin/env bash | 1 | #! /usr/bin/env bash |
2 | 2 | ||
3 | set -e | 3 | set -xe |
4 | 4 | ||
5 | # Default settings | 5 | # Default settings |
6 | SETTING_DIR=${SETTING_DIR:-~/settings} | 6 | SETTING_DIR=${SETTING_DIR:-~/settings} |
@@ -16,12 +16,12 @@ if [ ! -d $SETTING_DIR ]; then | |||
16 | } | 16 | } |
17 | fi | 17 | fi |
18 | 18 | ||
19 | sed -i "\^# $REPO^, /^$/ d" $RCFILE | 19 | # Write initial commands into .bashrc or .zshrc |
20 | echo " | 20 | sed -i'.bak' "\^# $REPO^, /^$/ d" $RCFILE |
21 | cat >>$RCFILE <<EOF | ||
21 | # $REPO | 22 | # $REPO |
22 | export SETTING_DIR=$SETTING_DIR | 23 | export SETTING_DIR=$SETTING_DIR |
23 | source \$SETTING_DIR/tools/load-settings.sh | 24 | source \$SETTING_DIR/tools/init/load-settings.sh |
24 | " >> $RCFILE && \ | 25 | EOF |
25 | source $RCFILE | ||
26 | 26 | ||
27 | cd "$SETTING_DIR" && make | 27 | cd "$SETTING_DIR" && make |