.MAN Estensione file
Manuale Unix
| Sviluppatore | N/D |
| Popolarità |
3,9 | 98 Voti |
Che cos'è un file MAN?
Manuale della guida (chiamato "man page") utilizzato dall'utility Man di Unix, un programma usato per visualizzare la documentazione; contiene informazioni su un comando Unix o su un'altra funzione Unix; può essere visualizzato all'interno di una shell Unix usando il comando man.
Maggiori informazioni
Le pagine man di Unix usano raramente l'estensione ".man". Usano invece le estensioni ".1" (.1 file) fino a ".8" per i manuali utente di una delle otto sezioni:
- Comandi generali per gli utenti
- Chiamate di sistema
- Funzioni della libreria C
- Dispositivi e interfacce di rete
- Formati di file
- Giochi
- Varie
- Routine del kernel specifiche di Linux
I nomi dei file delle pagine man contengono il comando (o il nome dell'argomento) seguito dal numero della sezione. Ad esempio, una pagina man della sezione 1 per il comando "example_cmd" avrebbe il nome file "example_cmd.1." Le pagine man a volte vengono compresse con la compressione .GZ e usano l'estensione composta ".gz.1" (o ".gz.2" per la seconda sezione, e così via).
Le pagine man possono essere visualizzate digitando man [section] [page], dove [section] è la sezione della pagina man e [page] è il nome del manuale utente. Se non viene fornita alcuna sezione, l'utility man presume la sezione 1.
NOTA: Poiché le pagine man sono memorizzate in un formato di testo semplice, possono essere create e modificate con qualsiasi editor di testo.