bash/bashrc.d/pushd.bash


1
2
3
4
5
6
7
8
9

# Make pushd default to $HOME if no arguments given, much like cd
pushd() {
    if (($#)) ; then
        builtin pushd "$@"
    else
        builtin pushd -- "$HOME"
    fi
}