aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools/install.sh
diff options
context:
space:
mode:
Diffstat (limited to 'tools/install.sh')
-rwxr-xr-xtools/install.sh12
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
3set -e 3set -xe
4 4
5# Default settings 5# Default settings
6SETTING_DIR=${SETTING_DIR:-~/settings} 6SETTING_DIR=${SETTING_DIR:-~/settings}
@@ -16,12 +16,12 @@ if [ ! -d $SETTING_DIR ]; then
16 } 16 }
17fi 17fi
18 18
19sed -i "\^# $REPO^, /^$/ d" $RCFILE 19# Write initial commands into .bashrc or .zshrc
20echo " 20sed -i'.bak' "\^# $REPO^, /^$/ d" $RCFILE
21cat >>$RCFILE <<EOF
21# $REPO 22# $REPO
22export SETTING_DIR=$SETTING_DIR 23export SETTING_DIR=$SETTING_DIR
23source \$SETTING_DIR/tools/load-settings.sh 24source \$SETTING_DIR/tools/init/load-settings.sh
24" >> $RCFILE && \ 25EOF
25source $RCFILE
26 26
27cd "$SETTING_DIR" && make 27cd "$SETTING_DIR" && make