On Sunday, January 5, 2025, Martin D Kealey <mar...@kurahaupo.gen.nz> wrote: > > In other words, it's broken by design. >
Maybe. I'm not sure if propagating shell options to child shells was the intended primary use. With ENV/BASH_ENV you can already do that and more, I don't see the point in adding an environment variable that does the same thing. -- Oğuz
