From 09b880bde46ee5a04bd677c8c8ca37a1a8b9f5cd Mon Sep 17 00:00:00 2001 From: Hugo Locurcio Date: Tue, 15 Jan 2019 12:39:51 +0100 Subject: [PATCH] timeout: clarify the default signal sent to the process (#2709) * timeout: clarify the default signal sent to the process --- pages/common/timeout.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pages/common/timeout.md b/pages/common/timeout.md index 642734a188..8037788fe7 100644 --- a/pages/common/timeout.md +++ b/pages/common/timeout.md @@ -2,7 +2,7 @@ > Run a command with a time limit. -- Run `sleep 10` and kill it, if it's running after 3 seconds: +- Run `sleep 10` and terminate it, if it runs for more than 3 seconds: `timeout {{3s}} {{sleep 10}}`