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:$PATH
et parfois elles disent export PATH=$PATH:/usr/share/lib/something
. Lequel est-ce?
echo $MANPATH
revient/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/man
et 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.