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