use the podman service

CGAL · Nov 29, 2024 · 69db8ae · 69db8ae
1 parent b3cb639
commit 69db8ae
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/list_test_runner_machines b/list_test_runner_machines
@@ -36,7 +36,7 @@ docker_cmd() {
         if docker_is_active_cmd; then
                 docker $@
         else
-                podman -r $@
+                podman --url unix:/var/run/podman/podman.sock $@
         fi
 }
 declare -xf docker_cmd