Após alguns testes, parece que o problema neste caso era que meu computador precisava ser reiniciado para que a variável de ambiente PATH
do Windows fosse atualizada. Eu não tinha tentado isso porque assumi que esse era o propósito de source ~/.bashrc
, que eu sempre usei para propósitos semelhantes no passado.
Não foi muito difícil para mim reiniciar meu computador, mas prefiro ter um comando que me impeça de fazê-lo, e posso ver que a reinicialização exigida é muito problemática para os usuários do servidor.
Olhando mais fundo, parece que source ~/.bashrc
é capaz de fazendo isso em sistemas baseados em UNIX , mas o mesmo não se aplica ao Cygwin, presumivelmente porque o Cygwin usa a variável de ambiente PATH
do Windows em vez de defini-los explicitamente em .bashrc
.
Publicamos uma pergunta de acompanhamento para este aqui .