Introduce a delay for freshly booted systems

diff --git a/scripts/trigger-rcmd b/scripts/trigger-rcmd
index a3ae03de4a6a54fec9d57efffda384ebea78de93..9c23ae06e227c797d19c6a2930099051a3ff8d87 100755 (executable)
--- a/scripts/trigger-rcmd
+++ b/scripts/trigger-rcmd
@@ -27,6 +27,7 @@ do_rcmd() {
        TIMEOUT="180"
        SSH_CHECKS="6"
        WAKE_DELAY="10s"
        TIMEOUT="180"
        SSH_CHECKS="6"
        WAKE_DELAY="10s"

+       BOOT_DELAY="1m"

        SHUTDOWN_TIME="+10"
 
        . "$cnf"
        SHUTDOWN_TIME="+10"
 
        . "$cnf"


@@ -78,6 +79,11 @@ do_rcmd() {
        done
        echo "$NAME: ok, SSH seems to be available on \"$SYSTEM\"."
 
        done
        echo "$NAME: ok, SSH seems to be available on \"$SYSTEM\"."
 

+       if [ "$rsys_was_running" -eq 0 ]; then
+               echo "$NAME: \"$SYSTEM\" just started up. Delaying actions for $BOOT_DELAY ..."
+               sleep "$BOOT_DELAY"
+       fi
+

        echo "$NAME: calling \"$CMD\" on \"$SYSTEM\" ..."
        echo
 
        echo "$NAME: calling \"$CMD\" on \"$SYSTEM\" ..."
        echo