Browse Source

Change title_links global to category_title_in_index local

pull/3011/head
Matheus Felipe 2 years ago
parent
commit
f1cbf0144a
No known key found for this signature in database GPG Key ID: AA785C523274872F
1 changed files with 3 additions and 3 deletions
  1. +3
    -3
      scripts/validate/format.py

+ 3
- 3
scripts/validate/format.py View File

@@ -19,7 +19,6 @@ index_cors = 4
index_link = 5
num_segments = 5

title_links = []
anchor_re = re.compile(anchor + '\s(.+)')
category_title_in_index_re = re.compile('\*\s\[(.*)\]')
link_re = re.compile('\[(.+)\]\((http.*)\)')
@@ -188,6 +187,7 @@ def check_entry(line_num: int, segments: List[str]) -> List[str]:
def check_file_format(filename: str) -> List[str]:

err_msgs = []
category_title_in_index = []

with open(filename, mode='r', encoding='utf-8') as file:
lines = list(line.rstrip() for line in file)
@@ -203,13 +203,13 @@ def check_file_format(filename: str) -> List[str]:

category_title_match = category_title_in_index_re.match(line_content)
if category_title_match:
title_links.append(category_title_match.group(1))
category_title_in_index.append(category_title_match.group(1))

# check each category for the minimum number of entries
if line_content.startswith(anchor):
category_match = anchor_re.match(line_content)
if category_match:
if category_match.group(1) not in title_links:
if category_match.group(1) not in category_title_in_index:
err_msg = error_message(line_num, f'category header ({category_match.group(1)}) not added to Index section')
err_msgs.append(err_msg)
else:


Loading…
Cancel
Save