Handle the case where $HOME has a trailing slash.

$HOME should not have a trailing slash.  But if it does we would eat it
in __ps1_short() and leave an incorrect prompt.

diff --git a/.profile.d/ps1.bashrc b/.profile.d/ps1.bashrc
index 7bd93b7..4f249c9 100644 (file)
--- a/.profile.d/ps1.bashrc
+++ b/.profile.d/ps1.bashrc
@@ -200,7 +200,8 @@ function __ps1_colon() {
 }
 
 function __ps1_short() {
-  local pwd=${PWD/#$HOME/\~}
+  local home=${HOME%%/}
+  local pwd=${PWD/#$home/\~}
   local dirtrim=${PROMPT_DIRTRIM//[^0-9]/}
 
   if [ "${dirtrim:0:1}" = "0" ]; then