ARCHIVE/xrpl-dev-portal
1
0
Fork 0
mirror of https://github.com/XRPLF/xrpl-dev-portal.git synced 2025-11-21 04:05:49 +00:00
Code Issues Packages Projects Releases Wiki Activity

Soften up filename mismatch warnings

Browse Source
This commit is contained in:
mDuo13
2023-10-13 11:37:12 -07:00
parent 70c3c8a1fa
commit 2a5639b9e7
1 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
tool/filter_enforce_filenames.py
View File

@@ -27,12 +27,14 @@ def idify(utext):
utext = re.sub(r'[\s-]+', '-', utext) utext = re.sub(r'[\s-]+', '-', utext)
return utext return utext
def normalized_match(filename, heading, loose=False): def normalized_match(filename, heading, loose=False, exclude_index=True):
""" """
Return True if the normalized versions of a filename and a heading match, Return True if the normalized versions of a filename and a heading match,
False otherwise. False otherwise.
If loose==True, allow some leeway like omitting 'and' and 'the' If loose==True, allow some leeway like omitting 'and' and 'the'
""" """
if exclude_index and filename == "index.md":
return True
if filename[-3:] == ".md": if filename[-3:] == ".md":
filename = filename[:-3] filename = filename[:-3]
@@ -75,7 +77,7 @@ def compare_nav_and_fs_hierarchy(page, pages, logger):
if expected_path != actual_path: if expected_path != actual_path:
path_parts = actual_path.split("/") path_parts = actual_path.split("/")
if len(path_parts) >= 1 and path_parts[-1] == "index": if len(path_parts) >= 1 and path_parts[-1] == "index.md":
expected_path2 = "/".join(crumbs+["index"]) + ".md" expected_path2 = "/".join(crumbs+["index"]) + ".md"
if actual_path == expected_path2: if actual_path == expected_path2:
logger.debug("Topic index is fine at {actual_path}") logger.debug("Topic index is fine at {actual_path}")