diff options
-rw-r--r-- | bash/bashrc | 1 | ||||
-rw-r--r-- | bash/bashrc.d/pushd.bash | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/bash/bashrc b/bash/bashrc index b8ecec01..dcf3df53 100644 --- a/bash/bashrc +++ b/bash/bashrc @@ -22,6 +22,7 @@ if [ -n "$ENV" ] ; then fi # Ensure we're using at least version 3.0 +# shellcheck disable=SC2128 [ -n "$BASH_VERSINFO" ] || return # Check version array exists (>=2.0) ((BASH_VERSINFO[0] >= 3)) || return # Check actual major version number 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"}" } |