Je pense que je comprends les instructions données dans Comment ajouter un répertoire au PATH? sur l'ajout de répertoires à $ PATH. Mais je ne comprends pas comment ajouter des répertoires à $ MANPATH ou $ INFOPATH.
Aussi - en cherchant de l'aide sur Google, j'ai remarqué que parfois les directions disent export PATH=/usr/share/lib/something:$PATHet parfois elles disent export PATH=$PATH:/usr/share/lib/something. Lequel est-ce?
echo $MANPATHrevient/usr/local/texlive/2012/texmf/doc/man. Lorsque j'ajoute les chemins d'accès aux rapports de configuration bash/usr/local/texlive/2012/texmf/doc/man:/usr/local/texlive/2012/texmf/doc/manet zsh continuent de signaler/usr/local/texlive/2012/texmf/doc/man. Pour zsh j'ajoute les chemins à/etc/zsh/zshrc. Je ne suis pas sûr que ce soit correct. J'ai également essayé le montage/etc/environment, comme suggéré ici , mais sans succès.