From 021d2df326adba6fe9c028d65d1445a28753773e Mon Sep 17 00:00:00 2001
From: Hsieh Chin Fan <typebrook@gmail.com>
Date: Tue, 8 Sep 2020 11:18:49 +0800
Subject: update

---
 tools/install.sh | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'tools/install.sh')

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 @@
 #! /usr/bin/env bash
 
-set -e
+set -xe
 
 # Default settings
 SETTING_DIR=${SETTING_DIR:-~/settings}
@@ -16,12 +16,12 @@ if [ ! -d $SETTING_DIR ]; then
   }
 fi
 
-sed -i "\^# $REPO^, /^$/ d" $RCFILE
-echo "
+# Write initial commands into .bashrc or .zshrc
+sed -i'.bak' "\^# $REPO^, /^$/ d" $RCFILE
+cat >>$RCFILE <<EOF
 # $REPO
 export SETTING_DIR=$SETTING_DIR
-source \$SETTING_DIR/tools/load-settings.sh
-" >> $RCFILE && \
-source $RCFILE
+source \$SETTING_DIR/tools/init/load-settings.sh
+EOF
 
 cd "$SETTING_DIR" && make
-- 
cgit v1.2.3-70-g09d2