.MAN Extension de fichier
Manuel Unix
| Développeur | N/D |
| Popularité |
3,9 | 98 Votes |
Qu'est-ce qu'un fichier MAN ?
Manuel d’aide (appelé « page de manuel ») utilisé par l’utilitaire Man d’Unix, un programme servant à consulter la documentation ; contient des informations sur une commande Unix ou une autre fonction Unix ; peut être consulté dans un interpréteur de commandes Unix à l’aide de la commande man.
Plus d'informations
Les pages de manuel Unix utilisent rarement l’extension « .man ». Elles utilisent plutôt les extensions « .1 » (.1 fichiers) à « .8 » pour les manuels utilisateur répartis dans l’une des huit sections suivantes :
- Commandes générales pour les utilisateurs
- Appels système
- Fonctions de la bibliothèque C
- Périphériques et interfaces réseau
- Formats de fichiers
- Jeux
- Divers
- Routines du noyau spécifiques à Linux
Les noms de fichiers des pages de manuel contiennent la commande (ou le nom du sujet), suivie du numéro de section. Par exemple, une page de manuel de la section 1 pour la commande « example_cmd » aurait pour nom de fichier « example_cmd.1 ». Les pages de manuel sont parfois compressées avec la compression .GZ et utilisent l’extension composée « .gz.1 » (ou « .gz.2 » pour la deuxième section, et ainsi de suite).
Les pages de manuel peuvent être consultées en saisissant man [section] [page], où [section] correspond à la section de la page de manuel et [page] au nom du manuel utilisateur. Si aucune section n’est indiquée, l’utilitaire man utilise la section 1 par défaut.
REMARQUE : Comme les pages de manuel sont enregistrées au format texte brut, elles peuvent être créées et modifiées avec n’importe quel éditeur de texte.