Skip to content

Commit

Permalink
fix: Issue with check wiki pages script
Browse files Browse the repository at this point in the history
  • Loading branch information
widal001 committed Apr 26, 2024
1 parent e1d842a commit fd35eee
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions .github/linters/scripts/check-wiki-pages-linked-to-summary.sh
Original file line number Diff line number Diff line change
Expand Up @@ -16,14 +16,14 @@ find "${WIKI_DIR}" -name "*.md" |\
# filter out the SUMMARY.md file
grep -Ev '(SUMMARY.md)' |\
# sort the files alphabetically and write to a temporary file
sort > "tmp/wiki-files.txt"
sort > $WIKI_FILES

# list all of the markdown files linked in the SUMMARY.md file
grep -oE '\((.*\.md)\)' "${WIKI_DIR}/SUMMARY.md" |\
# remove the extra parantheses around the markdown files
sed -E "s|\((.+)\)|\1|" |\
# sort the files alphabetically and write to a temporary file
sort > "tmp/summary-files.txt"
sort > $SUMMARY_FILES

# find files that are in the wiki but not in the summary
comm -2 -3 $WIKI_FILES $SUMMARY_FILES > $MISSING_FILES
Expand Down

0 comments on commit fd35eee

Please sign in to comment.