Aggiunto il cambio del titolo in git-prompt-colors.sh.

diff --git a/tools/git-prompt-colors.sh b/tools/git-prompt-colors.sh
index 2651937d0cbe1145363d458410b32543470d0824..b0a1dfed008ec2703b9f478e218fc9776ba9857c 100644 (file)
--- a/tools/git-prompt-colors.sh
+++ b/tools/git-prompt-colors.sh
@@ -42,7 +42,7 @@ override_git_prompt_colors() {
   # GIT_PROMPT_START_ROOT="_LAST_COMMAND_INDICATOR_ ${GIT_PROMPT_START_USER}"
   # GIT_PROMPT_END_USER=" \n${White}${Time12a}${ResetColor} $ "
   # GIT_PROMPT_END_ROOT=" \n${White}${Time12a}${ResetColor} # "
-  GIT_PROMPT_START_USER="\n${Yellow}${PathShort}${ResetColor}"
+  GIT_PROMPT_START_USER="\[\e]0;$MSYSTEM \w\a\]\n${Green}\u@\h:${Yellow}${PathShort}${ResetColor}"
   GIT_PROMPT_START_ROOT="${GIT_PROMPT_START_USER}"
   GIT_PROMPT_END_USER="\n${ResetColor}$ "
   GIT_PROMPT_END_ROOT="\n${ResetColor}# "