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
pgpC4OMhDv0KV.pgp
Description: PGP signature
