aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools/install.sh
diff options
context:
space:
mode:
Diffstat (limited to 'tools/install.sh')
-rw-r--r--tools/install.sh11
1 files changed, 6 insertions, 5 deletions
diff --git a/tools/install.sh b/tools/install.sh
index 758fd0e..0601c92 100644
--- a/tools/install.sh
+++ b/tools/install.sh
@@ -7,6 +7,7 @@ SETTING_DIR=${SETTING_DIR:-~/settings}
7REPO=${REPO:-typebrook/settings} 7REPO=${REPO:-typebrook/settings}
8REMOTE=${REMOTE:-https://github.com/${REPO}.git} 8REMOTE=${REMOTE:-https://github.com/${REPO}.git}
9BRANCH=${BRANCH:-dev} 9BRANCH=${BRANCH:-dev}
10RCFILE=${RCFILE:-~/.$(basename $SHELL)rc}
10 11
11if [ ! -d $SETTING_DIR ]; then 12if [ ! -d $SETTING_DIR ]; then
12 git clone --depth=1 --branch "$BRANCH" "$REMOTE" "$SETTING_DIR" || { 13 git clone --depth=1 --branch "$BRANCH" "$REMOTE" "$SETTING_DIR" || {
@@ -15,13 +16,13 @@ if [ ! -d $SETTING_DIR ]; then
15 } 16 }
16fi 17fi
17 18
18sed -E "/^# $REPO/, /^$/ d" 19sed -i "\^# $REPO^, /^$/ d" $RCFILE
19cat <<EOF 20echo "
20 21
21# $REPO 22# $REPO
22export SETTING_DIR=$HOME/settings 23export SETTING_DIR=$SETTING_DIR
23source $SETTING_DIR/tools/load-settings.sh 24source \$SETTING_DIR/tools/load-settings.sh
24 25
25EOF >> ~/.$(basename $SHELL)rc 26" >> $RCFILE
26 27
27cd "$SETTING_DIR" && make 28cd "$SETTING_DIR" && make