diff --git a/tools/run-docker.sh b/tools/run-docker.sh index d75aa43d9e..e907144585 100755 --- a/tools/run-docker.sh +++ b/tools/run-docker.sh @@ -1,3 +1,3 @@ #!/usr/bin/env sh -docker run -it --rm -v $(pwd):/home/user/MAVSDK:z -e LOCAL_USER_ID=`id -u` mavlink/mavsdk-ubuntu-18.04-px4-sitl "$@" +docker run -it --rm -v $(pwd):/home/user/MAVSDK:z -e LOCAL_USER_ID=`id -u` mavsdk/mavsdk-ubuntu-18.04-px4-sitl "$@"