From e87f2290546c2cb7878f3b348980e0480cd678d6 Mon Sep 17 00:00:00 2001 From: typebrook Date: Tue, 3 Mar 2020 10:39:14 +0800 Subject: update --- tools/install.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) mode change 100644 => 100755 tools/install.sh diff --git a/tools/install.sh b/tools/install.sh old mode 100644 new mode 100755 index 0eb2c5e..cb21351 --- a/tools/install.sh +++ b/tools/install.sh @@ -16,11 +16,11 @@ if [ ! -d $SETTING_DIR ]; then } fi -sed -i "/^$/ N; \^# $REPO^, /^$/ d" $RCFILE +sed -i "\^# $REPO^, /^$/ d" $RCFILE echo " # $REPO export SETTING_DIR=$SETTING_DIR source \$SETTING_DIR/tools/load-settings.sh " >> $RCFILE -cd "$SETTING_DIR" && make +#cd "$SETTING_DIR" && make -- cgit v1.2.3-70-g09d2