At Thursday 03 September 2009, Chet Ramey chet.ra...@case.edu wrote:
Thanks for the report. This will be fixed in the next version.
Good! And thanks to you for your quick answers and your useful
software.
Chet
Regards,
Stefano
Stefano Lattarini wrote:
Hi everybody.
I found the following bug while running some of my bash scripts on
GNU/Linux with stdout redirected to /dev/full, to see if write errors
where correctly detected and reported.
It turned out that, on write errors, the printf builtin correctly