jdownie/shed
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Compare commits

base: jdownie:d69df23f409f624447a7ffdedbf43ecd1b8a3faa
Branches Tags
jdownie:main
...
compare: jdownie:7bb317751c354fe12f83c5996ce6139b6831cf4b
Branches Tags
jdownie:main

2 Commits
d69df23f40 ... 7bb317751c

Author SHA1 Message Date
James Downie
7bb317751c Lazy commit on <function hostname at 0x7fa361d60f40>. 2025-06-30 20:21:51 +10:00
James Downie
ae529879d0 Lazy commit on <function hostname at 0x7f5b09cecf40>. 2025-06-30 20:21:33 +10:00
1 changed files with 1 additions and 2 deletions
Show Stats Expand all files Collapse all files

3
jdownie/repo/repo
View File

@ -27,12 +27,11 @@ def get_latest_git_mtime(repos: dict) -> float:
def is_repo_status_outdated(repos):
latest_mtime = get_latest_git_mtime(repos)
last_mtime = 0
if os.path.exists(filepath("mtime")):
if os.path.exists(filepath("status")) and os.path.exists(filepath("mtime")):
with open(filepath("mtime"), "rt") as fin:
content = fin.read().strip()
print(f"content: {content}")
last_mtime = float(content)
print(f"{latest_mtime} {last_mtime}")
return latest_mtime > last_mtime
def to_keycap(ch: str) -> str: