diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/install.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/install.sh b/tools/install.sh index 2e265fa..86f13aa 100755 --- a/tools/install.sh +++ b/tools/install.sh | |||
| @@ -19,6 +19,7 @@ fi | |||
| 19 | # Write initial commands into .bashrc or .zshrc | 19 | # Write initial commands into .bashrc or .zshrc |
| 20 | sed -i'.bak' "\^# $REPO^, /^$/ d" $RCFILE | 20 | sed -i'.bak' "\^# $REPO^, /^$/ d" $RCFILE |
| 21 | cat >>$RCFILE <<EOF | 21 | cat >>$RCFILE <<EOF |
| 22 | |||
| 22 | # $REPO | 23 | # $REPO |
| 23 | export SETTING_DIR=$SETTING_DIR | 24 | export SETTING_DIR=$SETTING_DIR |
| 24 | source \$SETTING_DIR/tools/init/load-settings.sh | 25 | source \$SETTING_DIR/tools/init/load-settings.sh |