Using the repo tool¶
repo tool is used to obtain the sources of a PELUX release.
repo was originally
developed by the Android  project, and it is used to clone specific versions of git
repositories into specific locations.
Obtaining the repo tool¶
If you already have a directory in your
$PATH for placing user-specific runnables, you should
use that location; otherwise perform the following steps to add
~/bin (or any directory of your
choice) to your
mkdir ~/bin echo "export PATH=~/bin/:$PATH" >> ~/.bashrc source ~/.bashrc # needed to reload the ~/.bashrc
You need to replace
~/.bashrc with the correct rc-file for your shell.
Then download the repo tool binary to
curl https://storage.googleapis.com/git-repo-downloads/repo > ~/bin/repo chmod a+x ~/bin/repo
repo command should now be available from your shell.