diff options
Diffstat (limited to 'bash/bashrc.d/pushd.bash')
-rw-r--r-- | bash/bashrc.d/pushd.bash | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/bash/bashrc.d/pushd.bash b/bash/bashrc.d/pushd.bash index 6da42fee..c3e01a5e 100644 --- a/bash/bashrc.d/pushd.bash +++ b/bash/bashrc.d/pushd.bash @@ -1,9 +1,5 @@ # Make pushd default to $HOME if no arguments given, much like cd pushd() { - if (($#)) ; then - builtin pushd "$@" - else - builtin pushd -- "$HOME" - fi + builtin pushd "${@:-$HOME}" } |