-
Estes dois são quase os mesmos:
export PATH=/usr/share/lib/something:$PATH export PATH=$PATH:/usr/share/lib/something
A única diferença é que o primeiro coloca o diretório para adicionar na frente e o segundo o coloca atrás dos diretórios atuais em
$PATH
. Só importa se há comandos dentro de/usr/share/lib/something
que tenham o mesmo nome dentro de um dos diretórios em$PATH
. -
Para adicionar diretórios a
$MANPATH
ou$INFOPATH
, conforme exigido pelo link que você postou, faça isso alterando os arquivos de configuração dentro do link.Diz para abrir a versão global de
bash.bashrc
com:sudo vi /etc/bash.bashrc
e para adicionar no final:
PATH=/usr/local/texlive/2010/bin/x86_64-linux:$PATH; export PATH MANPATH=/usr/local/texlive/2010/texmf/doc/man:$MANPATH; export MANPATH INFOPATH=/usr/local/texlive/2010/texmf/doc/info:$INFOPATH; export INFOPATH
Isso define
$PATH
,$MANPATH
e$INFOPATH
. E também diz para você editar/etc/manpath.config
com:sudo vi /etc/manpath.config
e para adicionar
MANPATH_MAP /usr/local/texlive/2010/bin/x86_64-linux /usr/local/texlive/2010/texmf/doc/man
abaixo de
# set up PATH to MANPATH mapping
.
Se você não tem certeza sobre isso, faça um backup primeiro (nunca é uma coisa ruim) com:
sudo cp /etc/bash.bashrc /etc/bash.backup_$(date +"%Y_%m_%d").bashrc
sudo cp /etc/manpath.config /etc/manpath.backup_$(date +"%Y_%m_%d").config
A string estranha muda para a data atual. Se você errar, basta copiar o backup de volta para o arquivo original:
$ touch test1
$ cp test1 test1.$(date +"%Y_%m_%d")
$ ls
test1 test1.2014_11_14