Created
June 25, 2019 00:59
-
-
Save jdrew1303/d0abd265527f117a71d70940334d563b to your computer and use it in GitHub Desktop.
installing duckietown 2019
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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