Skip to content

Instantly share code, notes, and snippets.

Show Gist options
  • Save anandbhaskaran/c9dcb54234b7e112f08a3f39f2509ca1 to your computer and use it in GitHub Desktop.
Save anandbhaskaran/c9dcb54234b7e112f08a3f39f2509ca1 to your computer and use it in GitHub Desktop.
Laboratory setup:
set +e
# Update gazebo repository
wget http://packages.osrfoundation.org/gazebo.key -O - | apt-key add -
sudo sh -c 'echo "deb http://packages.osrfoundation.org/gazebo/ubuntu-stable xenial main" > /etc/apt/sources.list.d/gazebo-stable.list'
sudo apt-get update
# install required packages
sudo apt-get install git docker.io gazebo7
# add user to group docker
sudo groupadd docker
sudo usermod -a -G docker $USER
sudo service docker restart
sudo chmod 666 /var/run/docker.sock
set -e
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment