Skip to content
Snippets Groups Projects
Commit 7391d826 authored by Johannes Mey's avatar Johannes Mey
Browse files

Merge branch 'master' into 'master'

Add DOCKERFILE

This adds a docker setup as in #1 to run the examples and some hints in the readme on how to use it.

It uses the "isolated" way to run GUI in docker containers described in http://wiki.ros.org/docker/Tutorials/GUI#The_isolated_way . I think it should be sufficiently secure. The only downside is that you have to change the `DOCKERFILE` if your user is not the primary user on your system.

See merge request !1
parents 16992f92 b616f8f9
No related branches found
No related tags found
1 merge request!1Add DOCKERFILE
Pipeline #6517 passed