Re: udev

[Guido Piazzi <debian@fotocaos.org>]

Scriveva Davide Corio...

> Chi mi commenta quello che vedo quì?
> 
> /dev                  19222656  12092260   6153824  67% /.dev
> none                      5120      2876      2244  57% /dev
> 
> che significa?

Indovino che è un estratto dell'output di df.

Allora, per quanto sono riuscito a capire finora...

- /.dev  è la "vecchia" directory /dev con i device node statici, che 
viene presentata con un altro nome grazie all'opzione bind di mount, in 
modo che sia possibile ancora usarla anche durante la sperimentazione di 
udev (per esempio, se con udev /dev/cdrom è sparito, lo puoi trovare 
ancora come /.dev/cdrom)

- /dev  è la nuova /dev con i device node dinamici creati da udev.  Non 
viene scritta su disco, ma in un filesystem tmpfs, da cui il "none".

A proposito, con l'aggiornamento di oggi del pacchetto mount, è stato 
risolto il problema del mancato smontaggio delle partizioni alla 
chiusura del sistema!

Correggetemi se ho scritto castronerie.

Saluti
Guido

-- 
Meine Seele schwebt über dem Sarge
(W. Goethe)