From 2b1bf28a9ce5697d91e668bcb6569ef3202f1b90 Mon Sep 17 00:00:00 2001 From: Iain Patterson 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.20.1