On Nov 01 2021, Oğuz wrote: > 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.
I think it can be considered a bug either way. Either command -p is seen to modify PATH, then the hash should be reset afterwards, or command -p is seen to not search PATH, then the hash should be left alone. Andreas. -- Andreas Schwab, sch...@linux-m68k.org GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA AEC1 "And now for something completely different."
