Daniel Burrows wrote: > Are you sure you really had a full partition, and not just one that > had exhausted its non-root quota? e.g., > > [EMAIL PROTECTED]:~$ df -h /mnt > Filesystem Size Used Avail Use% Mounted on > /home/daniel/testfs 49M 46M 0 100% /mnt > > Note that "Size" and "Used" differ.
That was probably the cause. I always wrongly assumed discrepancies were due to block size rounding rather than reserved-for-root space. I'll run some tests when I get the opportunity. Feel free to adjust the bug to match the behaviour you saw rather than the hallucination I reported. > [EMAIL PROTECTED]:~$ echo "test" > /mnt/test.txt > bash: echo: write error: No space left on device test > [EMAIL PROTECTED]:~$ sudo echo "test" > /mnt/test.txt The shell redirection in the second command is done by the unprivileged shell, I would not expect it to be any different from the first command. I see your point that root can still write to the filesystem, though. -- \0 -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
