https://digitalixy.com/tech/maude/659146/how-to-use-pushd-and-popd-on-linux/