"""Append a progress log line stamped with the REAL clock (CET). usage: python3 tools/log.py "text" """
import json, os, subprocess, sys
ROOT = os.path.dirname(os.path.dirname(os.path.abspath(__file__)))
t = subprocess.run(['date', '+%H:%M CET'], env={**os.environ, 'TZ': 'Europe/Paris'}, capture_output=True, text=True).stdout.strip()
p = json.load(open(f'{ROOT}/site/progress.json')); p['log'].append({'t': t, 'text': sys.argv[1]})
json.dump(p, open(f'{ROOT}/site/progress.json', 'w'), indent=1); print(t)