Pages de manuel à partir d'un emplacement personnalisé
Lorsque je crée une source dans un emplacement personnalisé, c'est-à-dire:
configure --prefix=$HOME/.local
puis, make install ..., les pages de manuel sont copiées dans ~/.local/share/man/mais inaccessibles à partir de la commande man
Comment puis-je faire man reconnaître les pages de mon emplacement personnalisé?
Pour une lecture de page de manuel unique, pointez simplement man sur le fichier spécifique:
man ~/.local/share/man/manX/manpage.1.gz
Sinon, si vous souhaitez toujours vérifier ~/.local/share, puis définissez la variable d'environnement MANPATH pour votre session utilisateur (généralement dans votre .bashrc fichier). Pour vérifier quel est le MANPATH actuel, procédez comme suit:
manpath
vous voudrez probablement ajouter :$HOME/local/.share/man à la fin de cela.