Handle the case where $HOME has a trailing slash.

[profile.git] / .profile.d / ps1.bashrc

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() {
 }
 
 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
   local dirtrim=${PROMPT_DIRTRIM//[^0-9]/}
 
   if [ "${dirtrim:0:1}" = "0" ]; then