POSIX-1 (IEEE 1003.1-1990) says (Section 6.4.2.4):
If any of the following conditions occur, the write() function
shall return -1 and set errno to the corresponding value.
...
ENOSPC There is no free space remaining on the device containing
the file.
...
It seems to me that this requirement is applicable, and hence I
disagree with
: When the floppy fills up, it _should_ return a value of zero when it
: can't write any more.
On the other hand, there's no device containing the file. The device
*is* the file.
-- Raul