A bit of a "nit" :-). I noticed that the output of the Bash
builtin "time" function (Bash 3) is "truncated", not rounded.
This might be personal preference, but rounding would seem
"less surprising" and of more interest. I.e., if someone
displays a program's run-time, it seems rounding would
b
An incompatibility in echo has crept into the gnu version
of echo. In extended processing, the leading "0" is no
longer required to start an octal sequence. This is not
compatible with other extended echo implementations and
can cause un-anticipated side effects (like echoing "awk"
replacement a
