From 700b795ecab0b12677c3d44618cdb4a06b04c061 Mon Sep 17 00:00:00 2001 From: Andrea Zagli Date: Tue, 11 Aug 2015 11:27:34 +0200 Subject: [PATCH] Aggiunto il cambio del titolo in git-prompt-colors.sh. --- tools/git-prompt-colors.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/git-prompt-colors.sh b/tools/git-prompt-colors.sh index 2651937..b0a1dfe 100644 --- 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}# " -- 2.49.0