POSIX-1 (IEEE 1003.1-1990) says (Section 220.127.116.11):
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
It seems to me that this requirement is applicable, and hence I
: 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.