Eu tive um problema semelhante e encontrei esta pergunta do StackOverflow que parece ter corrigido o problema para os outros:
Eu não o li corretamente na primeira vez, e o que fiz de errado foi baixar o arquivo repo para ~/bin/repo
. O que eu tinha que fazer era digitar which repo
, e então copiar o arquivo baixado recentemente (neste caso, este era /usr/bin/repo
). Então meus passos foram:
curl http://commondatastorage.googleapis.com/git-repo-downloads/repo >
~/bin/repo
chmod a+x ~/bin/repo
which repo
sudo mv /usr/bin/repo /usr/bin/repo2
sudo mv ~/bin/repo /usr/bin/repo
Isso me permitiu avançar ainda mais.