repo Installation Instructions - magic-lantern-android-studio/mle-documentation GitHub Wiki

repo is a tool from Google that can be used to retrieve multiple git repositories as a collection.

Make sure that you have a "bin/" directory in your home directory and that it's included in your path:

mkdir ~/bin
PATH=~/bin:$PATH

Download the Repo tool and ensure that it's executable:

curl https://storage.googleapis.com/git-repo-downloads/repo > ~/bin/repo
chmod a+x ~/bin/repo