bash 4.3+ replaces ~ (tilde) with $HOME undoing the $HOME->~ replacement in __vte_prompt_command
Submitted by Colin Guthrie
Link to original bug (#733504)
Description
Created attachment 281312 Fix ~ replacement in bash > 4.3
Since bash 4.3 things the nice replacement of /home/colin -> ~ in the terminal titles is undone by bash which flips it back to /home/colin again. Boo! Bad bash.
Attached patch restores this behaviour and also fixes a small bug where the cd'ing into another users home dir which happens to share your own homedirs prefix (e.g. /home/colintesting) would result in a slightly odd and misleading replacement.
Patch 281312, "Fix ~ replacement in bash > 4.3":
0001-prompt-Fix-for-bash-expanding-inside-double-quotes-i.patch
Version: 0.37.x
Resolution: RESOLVED FIXED