Re: builtin echo buffers failed writes

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

builtin echo buffers failed writes

This is correct (external echo): $ /bin/echo hello world &0 /bin/echo: write error: Bad file descriptor $ /bin/echo goodbye world goodbye world $ This is not (builtin echo): $ echo hello world &0 bash: echo: write error: Bad file descriptor $ echo goodbye world hello world goodbye world $ The s