* tweak pushd bits

diff --git a/.bashrc b/.bashrc
index c60fdfdbcc7ee78ea70cf5cc77387647deff9670..0b9fb0c03176ecc848c83141e45fc705171ed407 100644 (file)
--- a/.bashrc
+++ b/.bashrc
@@ -152,7 +152,7 @@ if [ "$PS1" ]; then
            if [ -z "$1" ] || [ "$1" == "-" ]; then
                builtin cd "$@"; # && [ -r .todo ] && devtodo ${TODO_OPTIONS};
            else
-               builtin pushd "$@"; # >/dev/null && [ -r .todo ] && devtodo ${TODO_OPTIONS};
+               builtin pushd "$@" >/dev/null; # && [ -r .todo ] && devtodo ${TODO_OPTIONS};
            fi;
        }