Re: Everyone, please stop making my life more difficult

[Gregor Zattler]

Hi Eli,
* Eli Zaretskii <address@hidden> [12. Sep. 2014]:
>> I know how to do it using a script wrapper around git log.  The
>> central bit of magic is this:
>> 
>> git log -1 --pretty='%ci!%ce' $1
>> 
>> The output from that needs trivial editing in the date part.
> 
> This produces the local time, while we need UTC (a.k.a. "Zulu").  Is
> there a way to have a UTC time?

How about:

#!/bin/sh
echo $(date -u --rfc-3339=seconds -d "$(git log -1 --pretty='%ci' ${1})"|sed -e 
's/ /T/' -e 's/+00:00//')Z$(git log -1 --pretty='!%ce' "${1}")



Ciao, Gregor
-- 
 -... --- .-. . -.. ..--.. ...-.-