|
@@ -57,7 +57,7 @@ case "$TERM" in
|
57
|
57
|
xterm*|rxvt*|screen*)
|
58
|
58
|
test -n "$SSH_CONNECTION" \
|
59
|
59
|
&& __host_id="${HOSTNAME%%.*}:" # i.e. a remote session
|
60
|
|
- PROMPT_COMMAND='__save_rv $?; echo -ne "\033]0;$(__make_ps1d)$__host_id${PWD/$HOME/\~}\$\007"'
|
|
60
|
+ PROMPT_COMMAND='__save_rv $?; echo -ne "\033]0;$(__make_ps1d)$__host_id${PWD/$HOME/~}\$\007"'
|
61
|
61
|
|
62
|
62
|
# Show the currently running command in the terminal title:
|
63
|
63
|
# http://www.davidpashley.com/articles/xterm-titles-with-bash.html
|
|
@@ -73,9 +73,9 @@ xterm*|rxvt*|screen*)
|
73
|
73
|
*)
|
74
|
74
|
if test -n "${BASH_COMMAND}";
|
75
|
75
|
then
|
76
|
|
- echo -ne "\033]0;${BASH_COMMAND} ($__host_id${PWD/$HOME/\~})\007"
|
|
76
|
+ echo -ne "\033]0;${BASH_COMMAND} ($__host_id${PWD/$HOME/~})\007"
|
77
|
77
|
else
|
78
|
|
- echo -ne "\033]0;$(__make_ps1d)$__host_id${PWD/$HOME/\~}\$\007"
|
|
78
|
+ echo -ne "\033]0;$(__make_ps1d)$__host_id${PWD/$HOME/~}\$\007"
|
79
|
79
|
fi
|
80
|
80
|
;;
|
81
|
81
|
esac
|