On Wed, May 25, 2011 at 8:11 AM, Volker Kuhlmann
<[email protected]> wrote:
> date "+Start time: %H:%M:%S"

Nice point. I was used to constructing things with different
separators between numbers, but hadn't generalised that into realising
it was a generic printf-like thing :-)

> In bash, if you want to know the wallclock time for some sommands, do
> this:
>  starttime=$SECONDS

Ooh, shiny. That's 'better' then `date +%s`, if all you're using it
for is elapsed time calculations.

Thanks Volker.

-jim

_______________________________________________
Linux-users mailing list
[email protected]
http://lists.canterbury.ac.nz/mailman/listinfo/linux-users

Reply via email to