builtin echo buffers failed writes

This is correct (external echo): $ /bin/echo hello world /dev/null 10 /bin/echo: write error: Bad file descriptor $ /bin/echo goodbye world goodbye world $ This is not (builtin echo): $ echo hello world /dev/null 10 bash: echo: write error: Bad file descriptor $ echo goodbye world hello world

Re: builtin echo buffers failed writes

Russ Cox wrote: This is correct (external echo): $ /bin/echo hello world /dev/null 10 /bin/echo: write error: Bad file descriptor $ /bin/echo goodbye world goodbye world $ This is not (builtin echo): $ echo hello world /dev/null 10 bash: echo: write error: Bad file descriptor $ echo goodbye