From 46983235dcf463e576e1fc552a2f7c0ecf05d843 Mon Sep 17 00:00:00 2001 From: typebrook Date: Mon, 2 Mar 2020 22:03:30 +0800 Subject: update --- tools/install.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 } fi -sed "/^# $REPO/, /^$/ d" +sed -E "/^# $REPO/, /^$/ d" cat <