Há uma GUI no Windows para editar a variável de caminho. Eu queria saber se há algo equivalente no Ubuntu para fazer o mesmo.
Há uma GUI no Windows para editar a variável de caminho. Eu queria saber se há algo equivalente no Ubuntu para fazer o mesmo.
Respostas:
A coisa é ... path
é definida em vários arquivos de texto com base no que você deseja realizar, como ~/.profile
para o usuário, /etc/profile
como padrão para usuários, /etc/environment
para o sistema ou /etc/bash.bashrc
para shells bash interativos em todo o sistema. Em alguns desses $ PATH é definido como parte de alguma codificação.
Portanto, um editor de texto é a coisa mais lógica a usar. Como gedit
se você o quisesse gráfico, mas continuará olhando para o mesmo tipo de transação que com nano
ou vi
da linha de comando. Mas não será possível, com algo em que você edite em alguns diretórios com uma caixa de entrada, procurar diretórios, pois no Linux PATH pode ter mais lógica do que simplesmente editar uma variável.
Meu conselho: acostume-se a editar a linha de comando para coisas como essa e outras similares. Um dia, ajudará você a resolver seus problemas quando não conseguir fazer login ou o Unity travar logo após o login.
É mais provável que haja uma razão para que isso seja feito dessa maneira. O Linux tem muito mais maneiras de fazer as coisas do que qualquer um de nós jamais usará, mas isso não significa que alguém não precise delas.
Para o látex, sugiro adicioná-lo ao /etc/bash.bashrc
. Esse é o lugar para editar o caminho para os shells do bash do sistema.
gksu gedit /etc/bash.bashrc
Depois de adicioná-lo e salvá-lo, você pode verificar com
echo $PATH
se estiver definido corretamente (e isso será permanente).