diff options
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/load-settings.sh | 10 |
1 files changed, 8 insertions, 2 deletions
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 @@ | |||
1 | if [[ -z "$SETTING_DIR" ]]; then | 1 | if [[ -z "$SETTING_DIR" ]]; then |
2 | SETTING_DIR=$HOME/settings | 2 | SETTING_DIR=$HOME/settings |
3 | fi | ||
4 | |||
5 | if [[ $0 == 'zsh' ]]; then | ||
6 | setopt extended_glob | ||
7 | elif [[ $0 == 'bash' ]]; then | ||
8 | shopt -s extglob | ||
3 | fi | 9 | fi |
4 | 10 | ||
5 | # set default editor | 11 | # set default editor |
@@ -12,7 +18,7 @@ source $SETTING_DIR/alias | |||
12 | PATH=$PATH:$SETTING_DIR/tools | 18 | PATH=$PATH:$SETTING_DIR/tools |
13 | find $SETTING_DIR/tools -type d | sed 1d |\ | 19 | find $SETTING_DIR/tools -type d | sed 1d |\ |
14 | while read dir; do | 20 | while read dir; do |
15 | PATH=$PATH:$dir | 21 | PATH=$PATH:$dir |
16 | done | 22 | done |
17 | 23 | ||
18 | # sync with important git repos | 24 | # sync with important git repos |