From 0d7c7e9ab7d698f51ff2c4b2d075ff89e3501967 Mon Sep 17 00:00:00 2001 From: fatalerrors Date: Fri, 8 Sep 2023 20:24:03 +0200 Subject: [PATCH] minor correction --- profile.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/profile.sh b/profile.sh index fa1baf2..bbfa5e7 100644 --- a/profile.sh +++ b/profile.sh @@ -35,7 +35,7 @@ # * OF SUCH DAMAGE. # ------------------------------------------------------------------------------ -if [[ ! $(echo $SHELL | grep bash) ]]; then +if [[ ! $(echo $SHELL | grep -e bash|zsh) ]]; then echo "That environmet script is designed to be used with bash or zsh being the shell." echo "Please consider using bash or zsh instead, or patch me ;)!" return 1 @@ -129,14 +129,14 @@ export DEFAULT_CITY="Toulouse" # ------------------------------------------------------------------------------ # Load global configuration -[[ -f $MYPATH/etc/profile.conf ]] && . ~/.profile.conf +[[ -f $MYPATH/etc/profile.conf ]] && . $MYPATH/etc/profile.conf # Load personal configuration [[ -f ~/.profile.conf ]] && . ~/.profile.conf # Load module scripts for script in $MYPATH/profile.d/*.sh ; do - if [ -r $script ] ; then + if [[ -r $script ]]; then . $script fi done