From 3ad956f77c2673d1566f6ef00fabb850310b152d Mon Sep 17 00:00:00 2001 From: Hsieh Chin Fan Date: Fri, 28 Aug 2020 09:36:01 +0800 Subject: update --- tools/load-settings.sh | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) (limited to 'tools/load-settings.sh') diff --git a/tools/load-settings.sh b/tools/load-settings.sh index e6415e0..d933372 100755 --- a/tools/load-settings.sh +++ b/tools/load-settings.sh @@ -1,5 +1,11 @@ if [[ -z "$SETTING_DIR" ]]; then - SETTING_DIR=$HOME/settings + SETTING_DIR=$HOME/settings +fi + +if [[ $0 == 'zsh' ]]; then + setopt extended_glob +elif [[ $0 == 'bash' ]]; then + shopt -s extglob fi # set default editor @@ -12,7 +18,7 @@ source $SETTING_DIR/alias PATH=$PATH:$SETTING_DIR/tools find $SETTING_DIR/tools -type d | sed 1d |\ while read dir; do - PATH=$PATH:$dir + PATH=$PATH:$dir done # sync with important git repos -- cgit v1.2.3-70-g09d2