Skip to content

Instantly share code, notes, and snippets.

  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
Star You must be signed in to star a gist
Embed
What would you like to do?
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