Как установить Инструмент Repo

Я нахожусь на Ubuntu 14.04. Я следовал инструкциям здесь

Конкретно:

curl https://storage.googleapis.com/git-repo-downloads/repo > ~/bin/repo

chmod a+x ~/bin/repo

Однако после выполнения, таким образом, файл HTML загружается. Кажется, нет исполняемого файла. Если я затем выполняю repo init, он дает следующую ошибку:

"Программа 'repo' в настоящее время не устанавливается. Можно установить его путем ввода склонный - получают инструменты фаблета установки"

Теперь ввод этого будет, конечно, работать. Проблема, я не могу использовать упакованную версию инструментов фаблета repo, поскольку это не утверждено. Таким образом, как точно я получаю установленный repo?

Вот первые несколько строк файла, который загружается:

#!/usr/bin/env python
# repo default configuration
#
import os
REPO_URL = os.environ.get('REPO_URL', None)
if not REPO_URL:
  REPO_URL = 'https://gerrit.googlesource.com/git-repo'
REPO_REV = 'stable'

Если я пытаюсь открыть файл в браузере, я добираюсь, 404 "требуемый ULR/fit-repo не был найден на этом сервере".

Вот ссылка на полный файл, как загружено.