From a2989eedc88a413b7a1bb6556007d64d276da805 Mon Sep 17 00:00:00 2001 From: spirillen <44526987+spirillen@users.noreply.github.com> Date: Tue, 20 Nov 2018 23:19:19 +0100 Subject: [PATCH] Changes to the time.strftime to make it more accurate Since some host files might need to be updated more frequently it's more appropriate to show timezone and the exact time for last build, hince changed the order of month and date to %d %B --- updateHostsFile.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/updateHostsFile.py b/updateHostsFile.py index 5647db447..0022bc4aa 100644 --- a/updateHostsFile.py +++ b/updateHostsFile.py @@ -925,7 +925,7 @@ def write_opening_header(final_file, **header_params): write_data(final_file, "# This hosts file is a merged collection " "of hosts from reputable sources,\n") write_data(final_file, "# with a dash of crowd sourcing via Github\n#\n") - write_data(final_file, "# Date: " + time.strftime("%B %d %Y", time.gmtime()) + "\n") + write_data(final_file, "# Date: " + time.strftime("%d %B %Y %H:%M:%S (UTC)", time.gmtime()) + "\n") if header_params["extensions"]: write_data(final_file, "# Extensions added to this file: " + ", ".join(