Guida sulla ricerca delle informazioni in Linux (testo in lavorazione):
Indietro
Capitolo 7. Gestione dati disponibili nelle risorse locali
Avanti
7.4. Aggiornamento base di dati
[updatedb, makewhatis]
Indietro
Partenza
Avanti
Conversione dei formati
Risali
Risorse non locali