diff --git a/script/wslrun b/script/wslrun new file mode 100755 index 0000000000000000000000000000000000000000..fc04d6fb471cedf42c28682b5021f0f9ff7784e0 --- /dev/null +++ b/script/wslrun @@ -0,0 +1,25 @@ +#!/bin/bash + +if [[ $(lsb_release -rs) == "18.04" ]]; then +docker run \ + --ulimit nofile=1024 \ + --ipc=host \ + -v /tmp/.X11-unix:/tmp/.X11-unix \ + -v /tmp:/exttmp \ + -e DISPLAY=unix${DISPLAY}\ + -e ROS_HOSTNAME=localhost \ + --rm -it --name devenv gitlab.liu.se:5000/lrs/devenv_docker_images/lrs-melodic:devel "$@" + +elif [[ $(lsb_release -rs) == "20.04" ]]; then +docker run \ + --ulimit nofile=1024 \ + --ipc=host \ + -v /tmp/.X11-unix:/tmp/.X11-unix \ + -v /tmp:/exttmp \ + -e DISPLAY=unix${DISPLAY}\ + -e ROS_HOSTNAME=localhost \ + --rm -it --name devenv gitlab.liu.se:5000/lrs/devenv_docker_images/lrs-noetic:devel "$@" + +else + echo "Unsupported operating system" +fi