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

Compare commits

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

No commits in common. "7bb317751c354fe12f83c5996ce6139b6831cf4b" and "d69df23f409f624447a7ffdedbf43ecd1b8a3faa" have entirely different histories.
7bb317751c ... d69df23f40

1 changed files with 2 additions and 1 deletions
Show Stats Expand all files Collapse all files

3
jdownie/repo/repo
View File

@ -27,11 +27,12 @@ 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("status")) and os.path.exists(filepath("mtime")):
if 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: