Eu encontrei a solução - eu tinha editado o arquivo /private/etc/paths em algum momento e adicionado os caminhos lá. Eu não sei porque eu coloquei esses arquivos em primeiro lugar.
Até agora eu tinha /Applications/play-1.2.5/ adicionado à minha variável $ PATH. Agora estou trabalhando com o 2.2.1, que instalei em /Applications/play-2.2.1 e mudei em ~/.bash_profile (que está sendo adquirido na inicialização). No entanto, ao imprimir $ PATH, 1.2.5 ainda está por aí:
mbp:~ user$ echo $PATH
/usr/local/share/npm/bin:/Applications/play-2.2.1:/usr/local/heroku/bin:/usr/bin:/bin:/usr/sbin:/sbin:/usr/local/bin:/Applications/play-1.2.5:/Applications/XAMPP/xamppfiles/bin/:/opt/X11/bin
Até onde eu agora, eu só inseri variáveis $ PATH em .bash_profile , que é assim:
mbp:~ user$ cat .bash_profile
source ~/.git-completion.bash
### Added by the Heroku Toolbelt
export PATH="/usr/local/heroku/bin:$PATH"
### Play Framework
export PATH="/Applications/play-2.2.1:$PATH"
export PATH="/usr/local/share/npm/bin:$PATH"
Eu também não tenho certeza de onde vem a extensão do XAMPP para a variável. Posso ver em algum lugar quais outros arquivos estão sendo originados na inicialização?
Editar um arquivo não altera o valor de uma variável em uma sessão de shell existente. O arquivo é lido apenas para inicializar o ambiente; não é consultado toda vez que o valor da variável é solicitado. Se você iniciar um novo shell, o valor de PATH será retirado do arquivo modificado. No shell existente, tente executar source .bash_profile para reavaliar o arquivo e atualizar o ambiente do seu shell.
Se você estiver executando o Mac OS X 10.6.8 ou anterior e se estiver atrasado em algumas correções de segurança, poderá ter variáveis em ~ / .MacOSX / environment.plist Desde então, variáveis podem ser armazenadas em /private/etc/launchd.conf
@ Xymak1y sugeriu editar /private/etc/paths , mas isso não é recomendado. Em vez disso, coloque um arquivo em /private/etc/pahts.d/ contendo as linhas que você deseja adicionar ao seu $PATH .