From a4bfe111cfc76fc519826985bfb1b343a312cb1e Mon Sep 17 00:00:00 2001 From: veclav talica Date: Mon, 22 May 2023 14:11:24 +0500 Subject: [PATCH] fix time formatting --- tools/main_page_generator.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/main_page_generator.py b/tools/main_page_generator.py index 5bd0ef3..3b8c4e2 100755 --- a/tools/main_page_generator.py +++ b/tools/main_page_generator.py @@ -40,6 +40,6 @@ for root, dirs, _ in walk(argv[1]): page += f""">*{','.join(metadata["Tags"])}*\n---\n""" curtime = time.gmtime(int(time.time())) -page += f"Last compiled: *{MONTHS[curtime.tm_mon]} {curtime.tm_mday}, {curtime.tm_year} {curtime.tm_hour}:{curtime.tm_min:2}*\n\n" +page += f"Last compiled: *{MONTHS[curtime.tm_mon]} {curtime.tm_mday}, {curtime.tm_year} {curtime.tm_hour}:{curtime.tm_min:02d}*\n\n" print(page_metadata + wrap_page(page))