Re: a couple of bugs

[Thomas Schwinge]

Hello!

On Mon, Dec 17, 2007 at 04:36:58PM +0100, Benoit Sigoure wrote:
> Wait a minute, /dev/full exists somewhere?  I've never heard of such  
> a device.
> Hmm I checked on a Linux box and there is indeed a /dev/full  
> (character special (1/7)), but this seems very Linux specific.

FYI, GNU/Hurd also does have it:

#v+
address@hidden:~ $ ls -l /dev/full
crw-rw-rw- 1 root root 0, 0 2006-01-29 16:30 /dev/full
address@hidden:~ $ showtrans /dev/full
/hurd/null --full
address@hidden:~ $ /hurd/null --help | grep -- --full
  -f, --full                 Cause writes to fail as if to a full disk
address@hidden:~ $ echo foo > /dev/full
-bash: echo: write error: No space left on device
foo
#v-


Regards,
 Thomas

signature.asc
Description: Digital signature