Marc Cornellà 3a6fa9149b Fix tilde substitution in theme prompts ...

These themes used an adhoc substitution of $HOME for tilde
in $PWD, but it's better to use '%~' and is less error prone.

See #7160

2018-10-07 23:01:25 +02:00

1.3 KiB

Raw Blame History

View Raw