On Mon, 8 Aug 2005 10:45:36 +0300 (EEST), Tero Grundstr_m wrote:

> > udev 252M 808K 252M 1% /dev
> ^^ Why a separate partition for /dev? This is complete waste.
> Especially with that size.

udev is a virtual filesystem, it's using 808K of memory, not 252M of disk
space. udev appears to allocate half the available RAM as the maximum size
for /dev.


-- 
Neil Bothwick

But there, everything has its drawbacks, as the man said when his
mother-in-law died, and they came down upon him for the funeral expenses.
-- Jerome K. Jerome