From 38701dba7d3aeab51ae37ae57d3f43763d47b583 Mon Sep 17 00:00:00 2001
From: Don Armstrong <don@donarmstrong.com>
Date: Tue, 15 Feb 2011 23:21:20 +0000
Subject: [PATCH 1/1]  * tweak pushd bits

---
 .bashrc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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