Comment 3 for bug 932388

Thanks for reporting the issue Eric. I managed to reproduce it and committed a fix. You can apply it to the current version with the following diff of .bashrc:

- path_dir=$(dirname $PWD)
+ path_dir=$(dirname "$PWD")
     # if our parent dir is a top-level directory, don't mangle it
- if [ $(dirname $path_dir) = "/" ]; then
+ if [ $(dirname "$path_dir") = "/" ]; then
         echo $PWD
     else
         path_parent=$(basename "$path_dir")