Skip to content

Commit

Permalink
When changed, print diff info
Browse files Browse the repository at this point in the history
If "fodt-gen-kw-uri-map --check-changed" detects a change, also print
information about what changed. This can be helpful for debugging.
  • Loading branch information
hakonhagland committed Jan 13, 2025
1 parent d8455b8 commit b0e416a
Showing 1 changed file with 15 additions and 0 deletions.
15 changes: 15 additions & 0 deletions scripts/python/src/fodt/keyword_uri_map_generator.py
Original file line number Diff line number Diff line change
Expand Up @@ -154,6 +154,20 @@ def add_alias(kw_uri_map: dict[str, str], keyword: str, alias: str) -> None:
uri = kw_uri_map[keyword]
kw_uri_map[alias] = uri


def display_map_diff(orig_kw_uri_map: dict[str, str], kw_uri_map: dict[str, str]) -> None:
# First check keys
for kw in sorted(orig_kw_uri_map.keys()):
if kw not in kw_uri_map:
logging.error(f"Keyword {kw} not found in new map.")
else:
if orig_kw_uri_map[kw] != kw_uri_map[kw]:
logging.error(f"URI for keyword {kw} has changed. Old: {orig_kw_uri_map[kw]}, New: {kw_uri_map[kw]}")
for kw in sorted(kw_uri_map.keys()):
if kw not in orig_kw_uri_map:
logging.error(f"Keyword {kw} not found in old map.")
return

# fodt-gen-kw-uri-map
# -------------------
#
Expand Down Expand Up @@ -189,6 +203,7 @@ def gen_kw_uri_map_cli(maindir: str|None, keyword_dir: str|None, check_changed:
orig_kw_uri_map = helpers.load_kw_uri_map(maindir)
if orig_kw_uri_map != kw_uri_map:
logging.error("Files have changed.")
display_map_diff(orig_kw_uri_map, kw_uri_map)
exit(1)
else:
logging.info("Files have not changed.")
Expand Down

0 comments on commit b0e416a

Please sign in to comment.