Fix indentation in run script and update submodule

2026-10-18 15:03:34 +08:00 · 2020-03-23 10:55:13 +01:00
parent 103bfd0d30
commit 315135c07e
3 changed files with 13 additions and 13 deletions
@@ -1,5 +1,5 @@
 #!/usr/bin/env bash

-while gz stats -d 0 2>&1 | grep "An instance of Gazebo is not running."; do
+while gz stats -d 0 2>&1 | grep -q "An instance of Gazebo is not running."; do
    echo "Gazebo not running yet ..."
 done