Ja, genau das habe ich gemacht.
env.ping_args -c 10 -w 1
Schön, dass du das auch so siehst.
Das w -1 habe ich zusätzlich mit angegeben, weil die doku zwar sagt, es ist default, aber wenn man in den code reinschaut ist es -2 (wäre ja aber auch OK)
Ich muss mich korrigieren.
(Und werde das nun auch im Originalbeitrag ändern, damit keiner den Unfug übernimmt. )
-w 1 macht keinen Sinn bei -c 10
Das ist zu kurz, da kommen keine 10 pings zustande, weil das Intervall zwischen zwei pings ja standardmäßig 1s beträgt.
Pingt man viele Server an, sollte man das Intervall zwischen den einzelnen pings von Standardwert 1s mit der Option -i wohl besser etwas runterschrauben und -w zudem groß genug wählen.
Ich fahre es jetzt mit env.ping_args -c 10 -i 0.25 -w 4