Skip to content

Instantly share code, notes, and snippets.

@jdrew1303
Created June 25, 2019 00:59
Show Gist options
  • Save jdrew1303/d0abd265527f117a71d70940334d563b to your computer and use it in GitHub Desktop.
Save jdrew1303/d0abd265527f117a71d70940334d563b to your computer and use it in GitHub Desktop.
installing duckietown 2019
sudo apt-get update
# Set up basic development packages
sudo apt-get install -y python3.7 python3-pip git git-lfs curl wget
# Set up docker
sudo apt-get install -y apt-transport-https ca-certificates curl gnupg-agent software-properties-common
curl -fsSL https://download.docker.com/linux/ubuntu/gpg | sudo apt-key add -
sudo apt-key fingerprint 0EBFCD88
sudo add-apt-repository "deb [arch=amd64] https://download.docker.com/linux/ubuntu $(lsb_release -cs) stable"
sudo apt-get update
sudo apt-get install -y docker-ce docker-ce-cli containerd.io
sudo docker run hello-world
sudo usermod -aG docker `whoami`
# Install the duckietown shell path param
sudo echo "export PATH=~/.local/bin:\$PATH" >> /home/vagrant/.bashrc
# install duckietown as normal user
pip3 install --no-cache-dir --user -U duckietown-shell
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment