git.kak: Use gawk's strftime instead of shelling out to date

`date -d` is not posix, strftime neither, but at least we only rely
on one non-posix tool and avoid forking.

Should help a bit for #4847
This commit is contained in:
Maxime Coste 2023-05-30 12:57:55 +10:00
parent 95a4d70379
commit 7f950bc4a9

View File

@ -150,11 +150,7 @@ define-command -params 1.. \
count=$4 count=$4
} }
/^author / { authors[sha]=substr($0,8) } /^author / { authors[sha]=substr($0,8) }
/^author-time ([0-9]*)/ { /^author-time ([0-9]*)/ { dates[sha]=strftime("%F %T", $2) }
cmd = "date -d @" $2 " +\"%F %T\""
cmd | getline dates[sha]
close(cmd)
}
END { send_flags(1); }' END { send_flags(1); }'
) > /dev/null 2>&1 < /dev/null & ) > /dev/null 2>&1 < /dev/null &
} }