![](https://images.gutefrage.net/media/user/medalknight/1444745043_nmmslarge.jpg?v=1444745043000)
![](https://images.gutefrage.net/media/default/user/10_nmmslarge.png?v=1551279448000)
Antwort
Den Prozess mit timeout starten dürfte hier eine elegante Lösung sein.
https://linux.die.net/man/1/timeout
Den Prozess mit timeout starten dürfte hier eine elegante Lösung sein.
https://linux.die.net/man/1/timeout