Merge pull request #98 from matthew-brett/session-update-again

Disable pushd / popd wrappers

Merge pull request #98 from matthew-brett/session-update-again
Disable pushd / popd wrappers
8f1083e0 · xoviat · GitHub · fa30a0d4 · 7fe5a7a1 · 8f1083e0
Unverified Commit 8f1083e0 authored Dec 18, 2017 by xoviat Committed by GitHub Dec 18, 2017
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 0 deletions

common_utils.sh common_utils.sh +2 -0

No files found.
--- a/common_utils.sh
+++ b/common_utils.sh
@@ -22,6 +22,8 @@ shell_session_update() { :; }
 # suggested by Thomas K at
 # https://github.com/travis-ci/travis-ci/issues/8703#issuecomment-347881274
 unset -f cd
+unset -f pushd
+unset -f popd

 function start_spinner {
    if [ -n "$MB_SPINNER_PID" ]; then