Add dockerfile

chrstrom · chrstrom · commit c0bd1881dc65 · 2023-03-05T17:26:10.000+01:00
diff --git a/docker/Dockerfile b/docker/Dockerfile
@@ -0,0 +1,6 @@
+FROM ros:noetic
+
+ARG distro=noetic
+ENV DEBIAN_FRONTEND=noninteractive
+SHELL ["/bin/bash", "-c"] 
+
