Noté que hay un ejecutable binario /bin/echoen mi sistema Ubuntu MATE 17.04. Pensé, eso es extraño, porque $ type echo echo is a shell builtin Las pruebas cursivas sugieren que /bin/echohace el mismo tipo de cosas que el Bash incorporado echo: $ /bin/echo foo foo $ /bin/echo...