Merge pull request #1404 from mavlink/fix-docker-script

Fix run-docker.sh for `sh`
mavlink · Apr 9, 2021 · e646010 · e646010
2 parents ebb69db + 0516426
commit e646010
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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 command -v podman &> /dev/null
+if type podman > /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 command -v docker &> /dev/null
+elif type docker > /dev/null
 then
     docker run -it --rm -v $(pwd):/home/user/MAVSDK:z -e LOCAL_USER_ID=`id -u` $dockerimage "$@"