aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-rw-r--r--tools/install.sh3
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
16sed "/^# $REPO/, /^$/ d" 16sed "/^# $REPO/, /^$/ d"
17cat <<EOF 17cat <<EOF
18
18# $REPO 19# $REPO
19export SETTING_DIR=$HOME/settings 20export SETTING_DIR=$HOME/settings
20source $SETTING_DIR/tools/load-settings.sh 21source $SETTING_DIR/tools/load-settings.sh
21 22
22EOF 23EOF >> ~/.$(basename $SHELL)rc
23 24
24cd "$SETTING_DIR" && make 25cd "$SETTING_DIR" && make