Using the repo tool

The 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 $PATH:

mkdir ~/bin
echo "export PATH=~/bin/:$PATH" >> ~/.bashrc
source ~/.bashrc # needed to reload the ~/.bashrc

Note

You need to replace ~/.bashrc with the correct rc-file for your shell.

Then download the repo tool binary to ~/bin:

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

The repo command should now be available from your shell.

[1]http://source.android.com