Danke für den Tipp, aber das hilft nicht, jedenfalls nicht, dass ich das verstünde.
Ja, ich habs wahrscheinlich in der Doku auch falsch verstanden.
Bei ner Google Suche macht das auch fast jeder mit Polling, das ist halt ein unglaublicher Krampf.
Ein ordentliches Tool müsste das einfach von sich aus können, nicht komplette Liste aller greppen und sleep, timeout selber regeln. Verrückt.