jjkiers/dotfiles
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Bash: Try to fix dash in title in Putty.

Browse Source
This commit is contained in:
Artem Sapegin 2012-11-28 13:03:17 +04:00
parent 2057b9cd3a
commit 551c994416
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
includes/bash_prompt.bash
View File

@ -102,7 +102,7 @@ function prompt_command {
# Terminal title # Terminal title
TITLE=`basename ${PWDNAME}` 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" echo -ne "\033]0;${TITLE}"; echo -ne "\007"
} }