Re: pushd/popd
From: Jonathan Dowland <jmtd@debian.org>
Date: Thu, 8 Nov 2018 09:46:34 +0000
> They are not POSIX, I don't think they are covered by any subsequent
> standard either ...
OK, thanks.
> ... not dash (by design) ...
Why? Easy enough to use pushd/popd and easy enough to not it but
I'm interested in the reasoning behind this choice.
Thanks, ... Peter E.
--
Message composed and transmitted by software designed to avoid the
need, overhead and vulnerability of antivirus software.
123456789 123456789 123456789 123456789 123456789 123456789 123456789
Tel: +1 360 639 0202 +1
http://easthope.ca/Peter.html Bcc: peter at easthope. ca
Reply to: