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

Fix terminal title for paths with spaces.

Browse Source 
Signed-off-by: Jacob Kiers <jacob@jacobkiers.net>
This commit is contained in:
Jacob Kiers 2014-06-25 18:10:54 +02:00
parent fb10240506
commit fd237f2e62
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

@ -78,7 +78,7 @@ function prompt_command() {
PS2="\[$CYAN\]$prompt_symbol\[$NOCOLOR\] " PS2="\[$CYAN\]$prompt_symbol\[$NOCOLOR\] "
# Terminal title # Terminal title
local title="$(basename $PWD)" local title=`basename "$PWD"`
[ -n "$remote" ] && title="$title \xE2\x80\x94 $HOSTNAME" [ -n "$remote" ] && title="$title \xE2\x80\x94 $HOSTNAME"
echo -ne "\033]0;$title"; echo -ne "\007" echo -ne "\033]0;$title"; echo -ne "\007"
} }