From c91c59b87ba9e71e45edc7406961e928f3a78c86 Mon Sep 17 00:00:00 2001 From: Nikhil Ambardar <202-nikaviator@users.noreply.git-st.inf.tu-dresden.de> Date: Mon, 19 Oct 2020 18:21:56 +0000 Subject: [PATCH] Delete docker-run.bat --- docker-run.bat | 11 ----------- 1 file changed, 11 deletions(-) delete mode 100644 docker-run.bat diff --git a/docker-run.bat b/docker-run.bat deleted file mode 100644 index 440af3a..0000000 --- a/docker-run.bat +++ /dev/null @@ -1,11 +0,0 @@ -start config.xlaunch - -docker build . -t ceti-panda-gazebo-workspace - -docker run -it^ - --env="DISPLAY=host.docker.internal:0"^ - --user="ros"^ - ceti-panda-gazebo-workspace^ - %* - -pause \ No newline at end of file -- GitLab