IntenseWebs/sphinx
3
0
Fork 0
mirror of https://github.com/sphinx-doc/sphinx.git synced 2025-02-25 18:55:22 -06:00
Code Issues Packages Projects Releases Wiki Activity

Do not perform any timezone conversions if SOURCE_DATE_EPOCH is set (#13203)

Browse Source 
Co-authored-by: Adam Turner <9087854+AA-Turner@users.noreply.github.com>
This commit is contained in:
Dmitry Shachnev 2025-01-03 01:36:46 +03:00 committed by GitHub
parent 3967c7d3ac
commit de4d3171a8
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
sphinx/util/i18n.py
View File

@ -249,6 +249,9 @@ def format_date(
source_date_epoch = os.getenv('SOURCE_DATE_EPOCH') source_date_epoch = os.getenv('SOURCE_DATE_EPOCH')
if source_date_epoch is not None: if source_date_epoch is not None:
date = datetime.fromtimestamp(float(source_date_epoch), tz=UTC) date = datetime.fromtimestamp(float(source_date_epoch), tz=UTC)
# If SOURCE_DATE_EPOCH is set, users likely want a reproducible result,
# so enforce GMT/UTC for consistency.
local_time = False
else: else:
date = datetime.now(tz=UTC) date = datetime.now(tz=UTC)