builtin for pushd

bryanmacfarlane · bryanmacfarlane · commit 87e6982b1e42 · 2022-08-04T14:59:13.000-04:00
diff --git a/dot/common.sh b/dot/common.sh
@@ -12,11 +12,11 @@ function fail()
 }
 
 pushd () {
-    command pushd "$@" > /dev/null
+    builtin pushd "$@" > /dev/null
 }
 
 popd () {
-    command popd "$@" > /dev/null
+    builtin popd "$@" > /dev/null
 }
 
 # https://superuser.com/questions/39751/add-directory-to-path-if-its-not-already-there

Original file line number	Diff line number	Diff line change
`@@ -12,11 +12,11 @@ function fail()`
`12`	`12`	`}`
`13`	`13`
`14`	`14`	`pushd () {`
`15`		`- command pushd "$@" > /dev/null`
	`15`	`+ builtin pushd "$@" > /dev/null`
`16`	`16`	`}`
`17`	`17`
`18`	`18`	`popd () {`
`19`		`- command popd "$@" > /dev/null`
	`19`	`+ builtin popd "$@" > /dev/null`
`20`	`20`	`}`
`21`	`21`
`22`	`22`	`# https://superuser.com/questions/39751/add-directory-to-path-if-its-not-already-there`