diff --git a/tools/run-docker.sh b/tools/run-docker.sh index a3ccade079..694aae6d51 100755 --- a/tools/run-docker.sh +++ b/tools/run-docker.sh @@ -2,13 +2,13 @@ dockerimage=mavsdk/mavsdk-ubuntu-20.04-px4-sitl-v1.11 -if type podman > /dev/null +if type podman > /dev/null 2> /dev/null then podman run -it --rm -v $(pwd):/home/user/MAVSDK:z $dockerimage "$@" echo "sudo needed to repair file ownership after podman ran: sudo chown -R $USER:$USER ." sudo chown -R $USER:$USER . -elif type docker > /dev/null +elif type docker > /dev/null 2> /dev/null then docker run -it --rm -v $(pwd):/home/user/MAVSDK:z -e LOCAL_USER_ID=`id -u` $dockerimage "$@"