tools: Specify docker registry

Signed-off-by: Julian Oes <julian@oes.ch>
mavlink · Sep 4, 2023 · 817bf8f · 817bf8f
1 parent f964fa1
commit 817bf8f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/run-docker.sh b/tools/run-docker.sh
@@ -1,6 +1,6 @@
 #!/usr/bin/env sh
 
-dockerimage=mavsdk/mavsdk-ubuntu-22.04-px4-sitl-v1.13
+dockerimage=docker.io/mavsdk/mavsdk-ubuntu-22.04-px4-sitl-v1.13
 
 if type podman > /dev/null 2> /dev/null
 then