Date: Tue, 18 Feb 2020 09:58:32 -0500
From: Chet Ramey <chet.ra...@case.edu>
Message-ID: <22f16ef4-41cf-60b0-5968-f608dc988...@case.edu>
| The 1992 version of the standard knew about time, standardized it as part
| of the UPE, and acknowledged that it worded the definition to allow the
| ksh88 reserved word implementation.
Well, kind of - they made it unspecified what
time a | b
timed ("a" or "a|b") but ksh (all versions I believe) bash and bosh
all allow
time(sleep 1)
which nothing in the standard explains (or allows). Similarly
time { sleep 1; }
and
time if true; then sleep 1; else sleep 2; fi
except that if Jörg is right, then the "sleep" and "true" in those
would need to be quoted just in case they've also been turned into
reserved words, accepting some random syntax we don't know about.
And in a subsequent message, chet.ra...@case.edu said:
| There are people on the bash mailing lists who would like a word.
There are some very strange people on those lists!
kre
ps: I am not saying that any of this functionality (that provided by
ksh, etc) is not useful, it's just hard to reconcile in any reasonable
way with what the standard allows, and other shells implement.
