diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/testscript.cli | 22 |
1 files changed, 12 insertions, 10 deletions
diff --git a/doc/testscript.cli b/doc/testscript.cli index b12ca98..825fde0 100644 --- a/doc/testscript.cli +++ b/doc/testscript.cli @@ -719,20 +719,22 @@ test-line: command-line: command -command: <path>(' '+(<arg>|stdin|stdout|stderr))* command-exit? +command: <path>(' '+(<arg>|redirect))* command-exit? *here-document -stdin: '0'?('<!'|\ - '<' <text>|\ - '<<' <here-end>) +redirect: stdin|stdout|stderr -stdout: '1'?('>!'|\ - '>' <text>|\ - '>>' <here-end>) +stdin: '0'?(in-redirect) +stdout: '1'?(out-redirect) +stderr: '2'(out-redirect) -stderr: '2'('>!'|\ - '>' <text>|\ - '>>' <here-end>) +in-redirect: '<!'|\ + ('<'|'<:') <text>|\ + ('<<'|'<<:') <here-end> + +out-redirect: '>!'|\ + ('>'|'>:') <text>|\ + ('>>'|'>>:') <here-end> command-exit: ('=='|'!=') <exit-status> |