From: Don Armstrong <don@donarmstrong.com>
Date: Thu, 21 Aug 2008 23:21:42 +0000 (+0000)
Subject:  * use pushd instead of cd where possible
X-Git-Url: https://git.donarmstrong.com/?a=commitdiff_plain;h=ca52198c2318b392a82f2d1fe5f9c786ab480c88;p=home-base.git

 * use pushd instead of cd where possible
---

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 ()