On 1/09/21 3:32 am, Greg Wooledge wrote:
In bash, which is *not* a shell builtin -- it's a separate program, /usr/bin/which.
Cheers, Richard