Robocon Manifest

Getting started

• Follow this tutorial to get git ready
• Use these commands to install Repo:

mkdir -p ~/.bin
PATH="${HOME}/.bin:${PATH}"
curl https://storage.googleapis.com/git-repo-downloads/repo > ~/.bin/repo
chmod a+rx ~/.bin/repo

To initialize your local repository using the Robocon trees, use these commands:

mkdir ~/Robocon_23
cd ~/Robocon_23
repo init -u [email protected]:MIA-Robotics-Robocon/robocon23_manifest.git -b main

Then to sync up:

repo sync

Finally type:

repo start main --all

Bash setup

echo "source $HOME/Robocon23/robocon_ws/" >> ~/.bashrc