J'espère que ma question n'est pas trop banale, mais je n'ai jamais eu besoin de savoir cela auparavant.
Dans quel répertoire puis-je trouver les fichiers des pages de manuel, c'est-à-dire le fichier texte en lecture seule ouvert lorsque vous tapez man foo ? Je suppose que différents distros peuvent les conserver à des endroits légèrement différents, donc si cela fait une différence, j'utilise Ubuntu 10.04.
使用方法 manpath pour voir les répertoires utilisés par votre système, et man --where --all _foo_ pour trouver une page de manuel spécifique de foo .
L'emplacement standard est /usr/share/man en fonction de Standard de la hiérarchie des systèmes de fichiers et /usr/man est généralement un lien symbolique vers ce répertoire.
D'autres emplacements peuvent être définis dans /etc/manpath.config o /etc/man_db.conf (le lieu exact varie). Par exemple, /usr/local/share/man est presque toujours inclus.
En outre, homme essaie de trouver les pages de manuel pour chaque répertoire spécifié dans $PATH - par exemple, si vous avez ajouté /opt/plan9/bin à $PATH, homme cherchera automatiquement dans /opt/plan9/man et /opt/plan9/bin/man.
Si le $MANPATH est définie, mais elle remplacera la variable d'environnement tous d'autres sources.
Dans les fichiers qui se terminent par .gz lorsque l'on utilise whereis :
whereis mansortie :
man: /usr/bin/man /usr/bin/X11/man /usr/local/man /usr/share/man /usr/share/man/man1/man.1.gz /usr/share/man/man7/man.7.gzExemple avec grep :
whereis grepsortie :
grep: /bin/grep /usr/share/man/man1/grep.1.gzmise à jour mineure sur la façon de lire ces fichiers gz :
info /usr/share/man/man1/grep.info.gz
zcat /usr/share/man/man1/grep.1.gz | lessou s'il est au format nom.numéro.gz :
zcat /usr/share/man/man1/grep.1.gz | less
# or more readable
man /usr/share/man/man1/grep.1.gz
SystemesEZ est une communauté de sysadmins où vous pouvez résoudre vos problèmes et vos doutes. Vous pouvez consulter les questions des autres sysadmins, poser vos propres questions ou résoudre celles des autres.
