pushd/popd dont have a -v option in bash