Using the repo tool¶
repo tool is used to obtain the sources of a PELUX release.
repo was originally
developed by the Android 1 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.