diff options
Diffstat (limited to 'bash/bashrc.d/pushd.bash')
-rw-r--r-- | bash/bashrc.d/pushd.bash | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bash/bashrc.d/pushd.bash b/bash/bashrc.d/pushd.bash index ec621037..e708d3e8 100644 --- a/bash/bashrc.d/pushd.bash +++ b/bash/bashrc.d/pushd.bash @@ -1,4 +1,5 @@ # Make pushd default to $HOME if no arguments given, much like cd pushd() { + # shellcheck disable=SC2164 builtin pushd "${@:-"$HOME"}" } |