aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2024-04-12 17:09:35 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2024-04-12 17:09:35 +0200
commitce4848cfaaa569da3e11de51f4174eb21709b9b9 (patch)
treedd9918fd6b769591912c4e6dbbb05ac73364035b /doc
parent33be784e4b991a95d3ef14a6ef555f1299ec7021 (diff)
Add -s|--timeout-success option to env script builtin
The semantics is equivalent to the --success option we already have in the timeout builtin.
Diffstat (limited to 'doc')
-rw-r--r--doc/testscript.cli5
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/testscript.cli b/doc/testscript.cli
index 20d9c2d..c539903 100644
--- a/doc/testscript.cli
+++ b/doc/testscript.cli
@@ -2777,6 +2777,11 @@ env - --unset=FOO -- $*
Terminate the command if it fails to complete within the specified number
of seconds. See also the \l{#builtins-timeout \c{timeout}} builtin.|
+\li|\n\c{-s|--timeout-success}
+
+ Assume the command terminated due to the timeout specified with the
+ \c{-t|--timeout} option to have succeeded.|
+
\li|\n\c{-c|--cwd <dir>}
Change the command's working directory.|