Ich habe festgestellt, dass /bin/echoauf meinem Ubuntu MATE 17.04-System eine ausführbare Binärdatei vorhanden ist . Ich dachte, das ist seltsam, weil $ type echo echo is a shell builtin /bin/echoKurztests legen nahe, dass dies dasselbe wie das in Bash eingebaute Verfahren bewirkt echo: $ /bin/echo...