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 majord...@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html

Reply via email to