tools: don't display command not found (#1408)

tools: don't display command not found in bash

Co-authored-by: Jonas Vautherin <[email protected]>

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 "$@"