Web lists-archives.com

Re: pushd/popd

On Fri, Nov 09, 2018 at 06:20:01AM -0800, peter@xxxxxxxxxxx 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.