From 042fc2c1d9c65282d2abe4285f070019fb4e597c Mon Sep 17 00:00:00 2001
From: sam <sam@noreply.git.snix.me>
Date: Thu, 22 Jun 2023 18:36:09 +0200
Subject: [PATCH] Aggiornare 'etc/profile.d/ps1'

---
 etc/profile.d/ps1 | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/etc/profile.d/ps1 b/etc/profile.d/ps1
index 904bc3d..0917181 100644
--- a/etc/profile.d/ps1
+++ b/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| # "