diff options
author | Colin Guthrie <colin@mageia.org> | 2014-07-23 22:44:40 +0200 |
---|---|---|
committer | Egmont Koblinger <egmont@gmail.com> | 2014-12-09 15:38:27 +0100 |
commit | 48def907eadfc5200603ebded4fb99ff324e571e (patch) | |
tree | c86e9e48b7cdd946bef830e495fcad8e8dc6eb7b | |
parent | 4664d7c24eb16cddf8546e5049537af12a5cb348 (diff) | |
download | vte-48def907eadfc5200603ebded4fb99ff324e571e.tar.gz |
vte.sh: Fix tilde replacement for bash-4.3.
https://bugzilla.gnome.org/show_bug.cgi?id=733504
(cherry picked from commit f09439bf7d05cb81c37e3e1a8a4af71f489700ba)
-rw-r--r-- | src/vte.sh | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -50,7 +50,9 @@ __vte_osc7 () { } __vte_prompt_command() { - printf "\033]0;%s@%s:%s\007%s" "${USER}" "${HOSTNAME%%.*}" "${PWD/#$HOME/~}" "$(__vte_osc7)" + local pwd='~' + [ "$PWD" != "$HOME" ] && pwd=${PWD/#$HOME\//\~\/} + printf "\033]0;%s@%s:%s\007%s" "${USER}" "${HOSTNAME%%.*}" "${pwd}" "$(__vte_osc7)" } case "$TERM" in |