I noticed that there is a binary executable
/bin/echo on my Ubuntu MATE 17.04 system.
I thought, that's odd, because
$ type echo echo is a shell builtin
Cursory testing suggests that
/bin/echo does the same sort of thing as the Bash builtin
$ /bin/echo foo foo $ /bin/echo $USER zanna
So, why is there another version of
echo separate from the Bash program, and why or when would I want to use it?