diff --git a/pages.nl/common/timeout.md b/pages.nl/common/timeout.md new file mode 100644 index 0000000000..fb5e2f80c3 --- /dev/null +++ b/pages.nl/common/timeout.md @@ -0,0 +1,12 @@ +# timeout + +> Voer een commando uit met een tijdslimiet. +> Meer informatie: . + +- Voer `sleep 10` uit en beƫindig het na 3 seconden: + +`timeout 3s sleep 10` + +- Stuur een signaal naar het commando nadat de tijdslimiet is verlopen (standaard SIGTERM): + +`timeout --signal {{INT}} {{5s}} {{sleep 10}}`