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 ~/.profilepara o usuário, /etc/profilecomo padrão para usuários, /etc/environmentpara o sistema ou /etc/bash.bashrcpara 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 geditse você o quisesse gráfico, mas continuará olhando para o mesmo tipo de transação que com nanoou vida 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).