pushd is bash