Skip to content

Commit

Permalink
Only lint js and json files
Browse files Browse the repository at this point in the history
CheckFileName is the only one that could arguably be valid for other files, but it doesn't seem worth the complexity to run it.
  • Loading branch information
Ms2ger committed Oct 6, 2023
1 parent e0436fc commit 715dd10
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions tools/lint/lint.py
Original file line number Diff line number Diff line change
Expand Up @@ -72,6 +72,9 @@ def lint(file_names):
errors = dict()

for file_name in file_names:
if not file_name.endswith((".js", ".json")):
continue

with open(file_name, 'r') as f:
content = f.read()
meta = lib.frontmatter.parse(content)
Expand Down

0 comments on commit 715dd10

Please sign in to comment.