Using bash 4.1.7: $ printf "ab\nc" > /dev/full bash: printf: write error: No space left on device bash: printf: write error: No space left on device
$ /usr/bin/printf "ab\nc" > /dev/full /usr/bin/printf: write error: No space left on device The same is on bash 4.2.8.The second write error is done in PRETURN macro - fflush() sets again error bit on stream.
RR