Re: hash not restored after running command -p

[Oğuz]

On Mon, Nov 1, 2021 at 1:33 PM Mike Jonkmans <bash...@jonkmans.nl> wrote:
> Temporarily using a default value of PATH is akin to modifying it.

But they are not the same thing, and you know this. The standard is
neither on your side nor mine.