diff --git a/docker-run.bat b/docker-run.bat deleted file mode 100644 index 440af3a4c2242d593f1e85e201328adeaf9cf044..0000000000000000000000000000000000000000 --- 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