I want to measure the elapsed time of a command, and show it without fractions of seconds no matter how little time it takes.
/usr/bin/time -f "%E (real)" SOMECOMMAND
4:36:05 for a long running process, or
7:27.32 for a short one.
In the second instance, how can I format it as
00:07:27 (leading zeros not important), so that it is obvious at a glance that it's 7 minutes (and not 7 hours as I initially thought)?
The seconds fractions are just not necessary for my measurements.