diff options
| author | typebrook <typebrook@gmail.com> | 2020-03-02 22:03:30 +0800 |
|---|---|---|
| committer | typebrook <typebrook@gmail.com> | 2020-03-02 22:03:30 +0800 |
| commit | 46983235dcf463e576e1fc552a2f7c0ecf05d843 (patch) | |
| tree | 6b379e75a6159f05c033545bcf1a3316046de292 | |
| parent | f2c7b1453de9b2423d377097e42f3fb216fec5b8 (diff) | |
update
| -rw-r--r-- | tools/install.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/install.sh b/tools/install.sh index 89d805a..758fd0e 100644 --- a/tools/install.sh +++ b/tools/install.sh | |||
| @@ -15,7 +15,7 @@ if [ ! -d $SETTING_DIR ]; then | |||
| 15 | } | 15 | } |
| 16 | fi | 16 | fi |
| 17 | 17 | ||
| 18 | sed "/^# $REPO/, /^$/ d" | 18 | sed -E "/^# $REPO/, /^$/ d" |
| 19 | cat <<EOF | 19 | cat <<EOF |
| 20 | 20 | ||
| 21 | # $REPO | 21 | # $REPO |