diff options
| author | typebrook <typebrook@gmail.com> | 2020-03-02 21:48:14 +0800 |
|---|---|---|
| committer | typebrook <typebrook@gmail.com> | 2020-03-02 21:48:14 +0800 |
| commit | 15060f8ee1bbbfc1701b1a6eaf97b8715823f1f7 (patch) | |
| tree | a5f078246cd2c35d6d8c9b6ef4b27e55961e056c | |
| parent | f01cf223ec4bdf98e70c1204ef1a95a76b23e162 (diff) | |
update
| -rw-r--r-- | tools/install.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/tools/install.sh b/tools/install.sh index 54bcef1..4d029c4 100644 --- a/tools/install.sh +++ b/tools/install.sh | |||
| @@ -13,4 +13,12 @@ git clone --depth=1 --branch "$BRANCH" "$REMOTE" "$SETTING_DIR" || { | |||
| 13 | exit 1 | 13 | exit 1 |
| 14 | } | 14 | } |
| 15 | 15 | ||
| 16 | sed "/^# $REPO/, /^$/ d" | ||
| 17 | cat <<EOF | ||
| 18 | # $REPO | ||
| 19 | export SETTING_DIR=$HOME/settings | ||
| 20 | source $SETTING_DIR/tools/load-settings.sh | ||
| 21 | |||
| 22 | EOF | ||
| 23 | |||
| 16 | cd "$SETTING_DIR" && make | 24 | cd "$SETTING_DIR" && make |