Handle the case where $HOME has a trailing slash.
authorIain Patterson <me@iain.cx>
Wed, 16 Mar 2016 10:04:34 +0000 (10:04 +0000)
committerIain Patterson <me@iain.cx>
Wed, 16 Mar 2016 10:05:58 +0000 (10:05 +0000)
commit2b1bf28a9ce5697d91e668bcb6569ef3202f1b90
treecca08debce1e2bd2fed85cf17055fcb14ee1bf76
parent909140c72cfb9c66bcb4189b975f2ccb18c11384
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