petscmpiexec script: pushd and popd aren't available when running with "sh"
Usage of pushd
and popd
was recently added to the petscmpiexec
script (!4921 (merged)), but this raises errors for me since those aren't available with a POSIX shell script (to be run with sh
), which petscmpiexec
now uses instead of csh
(!4349 (merged)).
E.g. on my system (Ubuntu 20.04.4 LTS):
bash$ sh
$ popd
sh: 1: popd: not found
They are available when using bash
and csh
.
Edited by Patrick Sanan