From 0516426769aa981d5a3ca94d4a967fccede51163 Mon Sep 17 00:00:00 2001
From: Jonas Vautherin <jonas.vautherin@gmail.com>
Date: Thu, 8 Apr 2021 16:40:33 +0200
Subject: [PATCH] Fix run-docker

---
 tools/run-docker.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tools/run-docker.sh b/tools/run-docker.sh
index 018897e68d..a3ccade079 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 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 "$@"