trailing slash in HOME variable

[Dr. Christoph Gille]

Command prompt:
Abbreviation of home path by tilde is not working when $HOME has a trailing 
slash

reproduce:
  export HOME=$HOME/
watch prompt

cheers

Christoph



For your info:

echo $PS1
${debian_chroot:+($debian_chroot)}...@\h:\w\$