On Tue, Aug 25, 2015 at 02:52:10PM -0400, Jeff King wrote:
> Yeah, that would probably be a good solution, assuming there is a
> portable "how many seconds" (I do not relish the thought of
> reconstructing it based on the current hours/minutes/seconds).
A little googling came up with:
awk 'END { print systime() }' </dev/null
which probably (?) works everywhere. I feel dirty just having typed
that, though.
-Peff
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to [email protected]
More majordomo info at http://vger.kernel.org/majordomo-info.html
