Weird, my Ubuntu 20 install does not have man pages on pushd and popd. Are these commands be specific to bash?
Anyway, since we are on the topic of directory navigation, I'd like to introduce 'cd -' (toggle to previous dir). Thank me later :-)
Anyway, since we are on the topic of directory navigation, I'd like to introduce 'cd -' (toggle to previous dir). Thank me later :-)
First example:
type -a <something>
Try man -a {pushd,popd} you can also use the man -k flag to find manpages, and see man man (or man --help) for more flags.
Another neat way of wrapping code in pushd/popd is to use a subshell.
(cd $dir
do-stuff
)
cd /tmp {
do-stuff
}Ironically, 'man help' yields no results.