mirror of
https://github.com/fish-shell/fish-shell.git
synced 2026-04-29 16:51:15 -03:00
3de95038b0
In particular, this allows `true && time true`, or `true; and time true`, and both `time not true` as well as `not time true` (like bash). time is valid only as job _prefix_, so `true | time true` could call `/bin/time` (same in bash) See discussion in #6442
39 lines
805 B
PHP
39 lines
805 B
PHP
// Define ELEM before including this file.
|
|
ELEM(job_list)
|
|
ELEM(job)
|
|
ELEM(job_decorator)
|
|
ELEM(job_conjunction)
|
|
ELEM(job_conjunction_continuation)
|
|
ELEM(job_continuation)
|
|
ELEM(statement)
|
|
ELEM(if_statement)
|
|
ELEM(if_clause)
|
|
ELEM(else_clause)
|
|
ELEM(else_continuation)
|
|
ELEM(switch_statement)
|
|
ELEM(case_item_list)
|
|
ELEM(case_item)
|
|
ELEM(block_statement)
|
|
ELEM(block_header)
|
|
ELEM(for_header)
|
|
ELEM(while_header)
|
|
ELEM(begin_header)
|
|
ELEM(function_header)
|
|
ELEM(not_statement)
|
|
ELEM(andor_job_list)
|
|
ELEM(decorated_statement)
|
|
ELEM(variable_assignment)
|
|
ELEM(variable_assignments)
|
|
ELEM(plain_statement)
|
|
ELEM(argument_list)
|
|
ELEM(arguments_or_redirections_list)
|
|
ELEM(argument)
|
|
ELEM(redirection)
|
|
ELEM(optional_background)
|
|
ELEM(optional_newlines)
|
|
ELEM(optional_time)
|
|
ELEM(end_command)
|
|
ELEM(freestanding_argument_list)
|
|
#undef ELEM
|
|
|