> The shell now allows `time ; othercommand' to time null commands.
Uh, what? Could someone explain this one, please?
Uh, what? Could someone explain this one, please?
# time; echo hola
-bash: syntax error near unexpected token `echo' time ${cmd}; foo
where cmd happens to be unset. Conceptually, that's a valid script, because `time` standalone is a valid script. No reason it should generate an error.$ time
real 0m0.002s user 0m0.000s sys 0m0.000s
After four releases versions bash starts to get regular syntax?