Seu código está correto. O local pode ou não estar correto. .bash_profile
é lido se seu shell de login é bash e você efetua login no modo de texto (em um console de texto ou através da rede). No entanto, se você efetuar login em um prompt gráfico, na maioria dos sistemas, .bash_profile
não será lido, mas .profile
será. Para evitar duplicação, recomendo colocar todas as atribuições de variáveis de ambiente em .profile
e usar o código a seguir para .bash_profile
para fazer a coisa certa para os shells de login interativos e não interativos:
. ~/.profile
case $- in *i*) . ~/.bashrc;; esac
Não coloque definições de variáveis de ambiente, como PATH
in .bashrc
. Isto funcionaria apenas em programas invocados a partir de terminais, não e. se o seu editor tentar executar o LaTeX automaticamente.
Como .profile
(ou .bash_profile
) é lido apenas quando você faz login, a configuração não entrará em vigor até que você efetue logout e volte. Você pode fazer a configuração entrar em vigor em um terminal (incluindo programas iniciados). daquele terminal) digitando (ou colando) o comando PATH=…
lá. Alguns ambientes de área de trabalho e gerenciadores de janelas permitem modificar suas variáveis de ambiente; como fazer isso depende do ambiente da área de trabalho.