repoのインストール方法の2018/2/2付の最新版
端末から
$ repo init
と打ち込むだけ
admini@admini-VirtualBox:~$ repo
error: repo is not installed. Use "repo init" to install it here.
admini@admini-VirtualBox:~$ repo init
Get https://gerrit.googlesource.com/git-repo/clone.bundle
Get https://gerrit.googlesource.com/git-repo
fatal: manifest url (-u) is required.
admini@admini-VirtualBox:~$ repo version
repo version v1.12.37
(from https://gerrit.googlesource.com/git-repo)
repo launcher version 1.23
(from /home/admini/bin/repo)
git version 2.7.4
Python 2.7.12 (default, Nov 20 2017, 18:23:56)
[GCC 5.4.0 20160609]