Mike Frysinger wrote:
use this instead ... makes for cleaner output:
pushd "${BUILDDIR}" > /dev/null

Would `cd foo` and `cd -` work just as well in place of `pushd` and `popd`? Recent tip I ran across and wondering if it holds up across the board.

--
[email protected] mailing list

Reply via email to