From: Iain Patterson <me@iain.cx>
Date: Wed, 16 Mar 2016 10:04:34 +0000 (+0000)
Subject: Handle the case where $HOME has a trailing slash.
X-Git-Url: http://git.iain.cx/?p=profile.git;a=commitdiff_plain;h=2b1bf28a9ce5697d91e668bcb6569ef3202f1b90

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
--- 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