Changes to the time.strftime to make it more accurate
authorspirillen <redacted>
Tue, 20 Nov 2018 22:19:19 +0000 (23:19 +0100)
committerGitHub <redacted>
Tue, 20 Nov 2018 22:19:19 +0000 (23:19 +0100)
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

index 5647db447755be220920edc26ca7cc094d12fbc5..0022bc4aa08b8d3e608e3dd29c261a0d0f29811c 100644 (file)
@@ -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(
git clone https://git.99rst.org/PROJECT