3 ms·
Perhaps you could do it like the bash command time, whose output is a bit hard to capture...
by Gravityloss 14y ago
Perhaps you could do it like the bash command time, whose output is a bit hard to capture...
- jlgreco 14y agoGNU source is never a pleasure to read, but as far as I can tell the bash builtin "times" prints to stdout. This can be observed by running: bash -c 'times whoami' > /dev/null