* use pushd instead of cd where possible

[home-base.git] / .bashrc

diff --git a/.bashrc b/.bashrc
index 99a9e9713b9899ddd0d7b39e896662a02ca99b15..602d3a810fda11412ce1b9b3588a1db788dc3d29 100644 (file)
--- a/.bashrc
+++ b/.bashrc
@@ -140,7 +140,12 @@ if [ "$PS1" ]; then
 
        cd ()
        {
-            builtin cd "$@" && [ -r .todo ] && devtodo ${TODO_OPTIONS}
+           # use pushd instead of cd
+           if [ -z "$1" ] || [ "$1" == "-" ]; then
+               builtin cd "$@" && [ -r .todo ] && devtodo ${TODO_OPTIONS};
+           else
+               builtin pushd "$@" >/dev/null && [ -r .todo ] && devtodo ${TODO_OPTIONS};
+           fi;
        }
 
        pushd ()