* tweak pushd bits
authorDon Armstrong <don@donarmstrong.com>
Tue, 15 Feb 2011 23:21:20 +0000 (23:21 +0000)
committerDon Armstrong <don@donarmstrong.com>
Tue, 15 Feb 2011 23:21:20 +0000 (23:21 +0000)
.bashrc

diff --git a/.bashrc b/.bashrc
index c60fdfd..0b9fb0c 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;
        }