O valor de PATH é definido inicialmente dentro do arquivo /etc/profile
.
Ele é definido para um "usuário padrão" e "root" (não o edite).
Você pode lê-lo executando este comando em um terminal:
cat /etc/profile
No entanto, você deseja alterar o PATH padrão apenas para seu usuário (para que outros usuários possam ter um PATH diferente e especialmente o usuário root
).
No Mint (e isso pode ser diferente para versões diferentes do Mint) com um desktop Gnome (crie ou edite ~/.pam_environment
da seguinte forma). Supondo que você tenha um editor de texto chamado gedit
:
$ gedit ~/.pam_environment
E adicione (ou altere) esta linha:
PATH DEFAULT=${PATH}:/opt/bin
escreva o arquivo, efetue logout, faça login novamente e o novo valor de PATH deve estar em vigor.
Esta resposta ajudou-me a escrever a minha resposta.