Re: pushd/popd
On Fri, Nov 09, 2018 at 06:20:01AM -0800, peter@easthope.ca wrote:
... 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.
One of dash's design goals is to be a purely POSIX compatible shell*,
so it deliberately does not implement anything else.
* they actually *do* implement some carefully defined extensions
according to the man page
--
⢀⣴⠾⠻⢶⣦⠀
⣾⠁⢠⠒⠀⣿⡁ Jonathan Dowland
⢿⡄⠘⠷⠚⠋⠀ https://jmtd.net
⠈⠳⣄⠀⠀⠀⠀ Please do not CC me, I am subscribed to the list.
Reply to: