On Sun, 13 Nov 2022, Greg Wooledge wrote:

unicorn:~$ command -v ls
ls

But sure, the OP could provide the output of "command -v ping" in addition
to "type ping".  It couldn't hurt.


command -V ping


Reply via email to