Il semble donc que taper man git init
dans une invite bash sur un système Ubuntu 14.04 fasse la même chose man git-init
, sauf que je ne sais pas trop comment.
La man
page pour man
(c.-à-d. man man
) Ne semble pas autoriser cette construction, à moins qu’elle ne git
figure section
dans le manuel, mais la page de manuel semble provenir de la section 1
.
Est-ce une utilisation non documentée supportée par man
? Ai-je mal compris la documentation man
? Est-ce qu'une autre magie se passe? Quelqu'un veut expliquer?
git init
Réponses:
Certaines implémentations de
man
, y compris celle utilisée par Ubuntu, remplacent les espaces dans ses termes de recherche par des traits d'union et tentent de trouver une page de manuel sous ce nom. Alorsman git init
cherche la même chose queman git-init
. De même,man run parts
et auman ntfs 3g
travail (si vous avezrun-parts
etntfs-3g
sur votre système).Cependant, cela
man git annex sync
ne fonctionne qu'avec des paires de mots, donc cela ne fonctionne pas (bien queman git-annex sync
cela fonctionne, car c'est encore une paire de mots).En fait, lorsque vous demandez deux pages de manuel (par exemple,
man git bash
pour afficher à la fois les pages de manuel git et bash), vous devez d'man
abord rechercher unegit-bash
page de manuel. Vous pouvez le voir dans la sortie de débogage si vous l'activez avec-d
.Cette fonctionnalité est appelée "sous-pages". Vous pouvez lire le code source implémentant des sous-pages dans man-db (merci, Stephen Kitt ). La recherche de "sous-pages" dans la
man(1)
page de manuel vous mènera également à la description de ce comportement dans l'--no-subpages
option:la source
man
implémentations) et les sous-pages n'ont pas été désactivées (par exemple, avec--no-subpages
). J'utilise Debian, donc ce n'est certainement pas uniquement Ubuntu.man
. Ce n'est nullement universel ni particulier commun.