From 551c994416e804d2337dc4bdde4458927775a80d Mon Sep 17 00:00:00 2001 From: Artem Sapegin Date: Wed, 28 Nov 2012 13:03:17 +0400 Subject: [PATCH] Bash: Try to fix dash in title in Putty. --- includes/bash_prompt.bash | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/includes/bash_prompt.bash b/includes/bash_prompt.bash index b0d2144..3164145 100644 --- a/includes/bash_prompt.bash +++ b/includes/bash_prompt.bash @@ -102,7 +102,7 @@ function prompt_command { # Terminal title TITLE=`basename ${PWDNAME}` - [ -n "$SSH_CLIENT" ] || [ -n "$SSH_TTY" ] && TITLE="${TITLE} — ${HOSTNAME}" + [ -n "$SSH_CLIENT" ] || [ -n "$SSH_TTY" ] && TITLE="${TITLE} \xE2\x80\x94 ${HOSTNAME}" echo -ne "\033]0;${TITLE}"; echo -ne "\007" }