diff options
| author | typebrook <typebrook@gmail.com> | 2020-03-02 22:51:51 +0800 |
|---|---|---|
| committer | typebrook <typebrook@gmail.com> | 2020-03-02 22:51:51 +0800 |
| commit | 5574f1a3418b74ddc832e8a2f19dad83d0fd3dc4 (patch) | |
| tree | 1f0c251745ec34fe2568e437930510fa631d5a3f | |
| parent | 46983235dcf463e576e1fc552a2f7c0ecf05d843 (diff) | |
update
| -rw-r--r-- | tools/install.sh | 11 |
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} | |||
| 7 | REPO=${REPO:-typebrook/settings} | 7 | REPO=${REPO:-typebrook/settings} |
| 8 | REMOTE=${REMOTE:-https://github.com/${REPO}.git} | 8 | REMOTE=${REMOTE:-https://github.com/${REPO}.git} |
| 9 | BRANCH=${BRANCH:-dev} | 9 | BRANCH=${BRANCH:-dev} |
| 10 | RCFILE=${RCFILE:-~/.$(basename $SHELL)rc} | ||
| 10 | 11 | ||
| 11 | if [ ! -d $SETTING_DIR ]; then | 12 | if [ ! -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 | } |
| 16 | fi | 17 | fi |
| 17 | 18 | ||
| 18 | sed -E "/^# $REPO/, /^$/ d" | 19 | sed -i "\^# $REPO^, /^$/ d" $RCFILE |
| 19 | cat <<EOF | 20 | echo " |
| 20 | 21 | ||
| 21 | # $REPO | 22 | # $REPO |
| 22 | export SETTING_DIR=$HOME/settings | 23 | export SETTING_DIR=$SETTING_DIR |
| 23 | source $SETTING_DIR/tools/load-settings.sh | 24 | source \$SETTING_DIR/tools/load-settings.sh |
| 24 | 25 | ||
| 25 | EOF >> ~/.$(basename $SHELL)rc | 26 | " >> $RCFILE |
| 26 | 27 | ||
| 27 | cd "$SETTING_DIR" && make | 28 | cd "$SETTING_DIR" && make |