Não defina PATH ou qualquer outra variável de ambiente em ~/.bashrc . .bashrc é um arquivo de configuração do shell, você deve usá-lo apenas para a configuração do shell (como prompts e aliases). As variáveis de ambiente se aplicam a todos os aplicativos, portanto, configure-os no arquivo de inicialização da sessão. Todos os métodos para logins não gráficos (console de modo de texto ou login remoto) lêem ~/.profile (a menos que você tenha um shell exótico); para logins gráficos, ~/.profile é geralmente lido, mas isso depende da distribuição, do gerenciador de exibição e do ambiente de área de trabalho. Seu ambiente de trabalho (Gnome) pode ter uma maneira de definir variáveis de ambiente quando você efetua login também.