From ca52198c2318b392a82f2d1fe5f9c786ab480c88 Mon Sep 17 00:00:00 2001
From: Don Armstrong <don@donarmstrong.com>
Date: Thu, 21 Aug 2008 23:21:42 +0000
Subject: [PATCH 1/1]  * use pushd instead of cd where possible

---
 .bashrc | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/.bashrc b/.bashrc
index 99a9e97..602d3a8 100644
--- 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 ()
-- 
2.39.2