Aggiornare 'etc/profile.d/ps1'

etc/profile.d/ps1

@@ -11,5 +11,6 @@ USER_COLOR_BASH=$blue
 USER_COLOR_ZSH=blue
 fi
 
-export PS1_BASH="$USER_COLOR_BASH\u$white@\h $blue\w $white|${yellow}bash$white| \\$ "
+SHELL=bash
+export PS1_BASH="${USER_COLOR_BASH}\u${white}@\h ${blue}\w ${white}|${yellow}${SHELL}${white}| \\$ "
 export PS1_ZSH="%B%F{$USER_COLOR_ZSH}%(?..%? )%f%b%B%F{$USER_COLOR_ZSH}%n%f%b@%m %B%F{blue}%40<..<%~%<< %f|%F{yellow}zsh%f| # "