pushd is a bash feature