}
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
n=$((n+1))
done
- echo "$short$dirname"
+ [ "${short:0:1}" = "~" ] || short="/$short"
+ echo "$short/$dirname"
return $1
}