diff options
| author | typebrook <typebrook@gmail.com> | 2020-03-02 21:50:31 +0800 |
|---|---|---|
| committer | typebrook <typebrook@gmail.com> | 2020-03-02 21:50:31 +0800 |
| commit | ac004e18c73b2de2877789921cdf212f75c861df (patch) | |
| tree | 90a759decfe18ce33806967cd6ee99d635a4e427 /tools | |
| parent | 15060f8ee1bbbfc1701b1a6eaf97b8715823f1f7 (diff) | |
update
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/install.sh | 3 |
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 | ||
| 16 | sed "/^# $REPO/, /^$/ d" | 16 | sed "/^# $REPO/, /^$/ d" |
| 17 | cat <<EOF | 17 | cat <<EOF |
| 18 | |||
| 18 | # $REPO | 19 | # $REPO |
| 19 | export SETTING_DIR=$HOME/settings | 20 | export SETTING_DIR=$HOME/settings |
| 20 | source $SETTING_DIR/tools/load-settings.sh | 21 | source $SETTING_DIR/tools/load-settings.sh |
| 21 | 22 | ||
| 22 | EOF | 23 | EOF >> ~/.$(basename $SHELL)rc |
| 23 | 24 | ||
| 24 | cd "$SETTING_DIR" && make | 25 | cd "$SETTING_DIR" && make |