R/O

pushd と popd が少しだけ楽になるかもしれない Bash function

Posted on 2021-03-26

bashrc で引数を与えるとそこに pushd し、与えないと popd するだけの関数を定義して使っている。

pd()
{
    if [[ -n ${1} ]]; then
        pushd "${1}"
    else
        popd
    fi
}

これだけ。push と pop を同じコマンドで行えるところが慣れると便利で割と気に入っている。