From 2b1bf28a9ce5697d91e668bcb6569ef3202f1b90 Mon Sep 17 00:00:00 2001
From: Iain Patterson <me@iain.cx>
Date: Wed, 16 Mar 2016 10:04:34 +0000
Subject: [PATCH] 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.
---
 .profile.d/ps1.bashrc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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