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
  }
 fi
-sed "/^# $REPO/, /^$/ d"
+sed -E "/^# $REPO/, /^$/ d"
 cat <<EOF
 # $REPO

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