J'espère que ma question n'est pas trop triviale, mais je n'ai jamais eu besoin de le savoir 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érentes distributions peuvent les garder dans des endroits légèrement différents, donc si cela fait une différence, je lance Ubuntu 10.04.
Utilisez manpath
pour afficher les répertoires utilisés par votre système. man --where --all foo
pour trouver une page de manuel spécifique de foo .
L'emplacement standard est /usr/share/man
selon Norme de hiérarchie du système 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
ou /etc/man_db.conf
(l'emplacement exact varie). Par exemple,/usr/local/share/man est presque toujours inclus.
De plus, man essaie de trouver des pages de manuel pour chaque répertoire spécifié dans $ PATH - par exemple, si vous avez ajouté/opt/plan9/bin à $ PATH, man recherchera automatiquement/opt/plan9/man et/opt/plan9/bin/man.
Si la variable d'environnement $MANPATH
est définie, toutefois, elle remplacera toutes les autres sources.
Dans les fichiers qui se terminent par .gz avec whereis
:
whereis man
sortie:
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.gz
Exemple avec grep:
whereis grep
sortie:
grep: /bin/grep /usr/share/man/man1/grep.1.gz
Ils devraient être sous /usr/share/man
.