removing unnecessary options

moveit · Oct 30, 2017 · 1bbd415 · 1bbd415
1 parent 2724586
commit 1bbd415
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/.docker/gui-docker b/.docker/gui-docker
@@ -52,7 +52,5 @@ ${DOCKER_COMMAND} run \
   -v "/etc/localtime:/etc/localtime:ro" \
   -v /tmp/.X11-unix:/tmp/.X11-unix \
   -v "/tmp/.docker.xauth:/tmp/.docker.xauth" \
-  -v /dev/log:/dev/log \
-  --ulimit rtprio=99 \
   ${DOCKER_GPU_PARAMS} \
   $@