2017-09-10 14:42:45 -04:00
|
|
|
#!/bin/bash -eu
|
|
|
|
|
|
|
|
# This script checks that the table of contents for the supported tools is
|
|
|
|
# sorted, and that the table matches the files.
|
|
|
|
|
|
|
|
toc_start_line="$( \
|
|
|
|
grep -m1 -n 'Integration Documentation.*|ale-integrations|' doc/ale.txt \
|
|
|
|
| sed 's/\([0-9]*\).*/\1/' \
|
|
|
|
)"
|
|
|
|
# shellcheck disable=SC2003
|
|
|
|
toc_start_line="$(expr "$toc_start_line" + 1)"
|
|
|
|
toc_section_size="$( \
|
|
|
|
tail -n +"$toc_start_line" doc/ale.txt \
|
|
|
|
| grep -m1 -n '^ [0-9]\+\.' \
|
|
|
|
| sed 's/\([0-9]*\).*/\1/' \
|
|
|
|
)"
|
|
|
|
# shellcheck disable=SC2003
|
|
|
|
toc_end_line="$(expr "$toc_start_line" + "$toc_section_size" - 2)"
|
|
|
|
|
|
|
|
toc_file="$(mktemp -t table-of-contents.XXXXXXXX)"
|
|
|
|
heading_file="$(mktemp -t headings.XXXXXXXX)"
|
2017-09-10 14:52:01 -04:00
|
|
|
tagged_toc_file="$(mktemp -t ale.txt.XXXXXXXX)"
|
2017-09-10 14:42:45 -04:00
|
|
|
sorted_toc_file="$(mktemp -t sorted-ale.txt.XXXXXXXX)"
|
|
|
|
|
|
|
|
sed -n "$toc_start_line,$toc_end_line"p doc/ale.txt \
|
2017-10-22 04:42:36 -04:00
|
|
|
| sed 's/^ \( *[^.][^.]*\)\.\.*|\(..*\)|/\1, \2/' \
|
2017-09-10 14:42:45 -04:00
|
|
|
> "$toc_file"
|
|
|
|
|
|
|
|
# Get all of the doc files in a natural sorted order.
|
2017-10-22 04:42:36 -04:00
|
|
|
doc_files="$(/bin/ls -1v doc | grep ^ale- | sed 's/^/doc\//' | paste -sd ' ' -)"
|
2017-09-10 14:42:45 -04:00
|
|
|
|
|
|
|
# shellcheck disable=SC2086
|
2017-10-24 19:27:40 -04:00
|
|
|
grep -h '\*ale-.*-options\|^[a-z].*\*ale-.*\*$' $doc_files \
|
2017-09-10 14:42:45 -04:00
|
|
|
| sed 's/^/ /' \
|
|
|
|
| sed 's/ALE Shell Integration/ALE sh Integration/' \
|
2017-10-22 04:42:36 -04:00
|
|
|
| sed 's/ ALE \(.*\) Integration/\1/' \
|
|
|
|
| sed 's/ *\*\(..*\)\*$/, \1/' \
|
|
|
|
| tr '[:upper:]' '[:lower:]' \
|
2017-09-10 14:42:45 -04:00
|
|
|
| sed 's/objective-c/objc/' \
|
|
|
|
| sed 's/c++/cpp/' \
|
|
|
|
> "$heading_file"
|
|
|
|
|
|
|
|
exit_code=0
|
|
|
|
in_section=0
|
|
|
|
section_index=0
|
|
|
|
|
2017-09-10 14:52:01 -04:00
|
|
|
# Prefix numbers to table of contents entries so that sections aren't mixed up
|
|
|
|
# with sub-sections when they are sorted.
|
2017-09-10 14:42:45 -04:00
|
|
|
while read -r; do
|
|
|
|
if [[ "$REPLY" =~ ^\ ]]; then
|
|
|
|
if ! ((in_section)); then
|
|
|
|
let section_index='section_index + 1'
|
|
|
|
in_section=1
|
|
|
|
fi
|
|
|
|
else
|
|
|
|
if ((in_section)); then
|
|
|
|
let section_index='section_index + 1'
|
|
|
|
in_section=0
|
|
|
|
fi
|
|
|
|
fi
|
|
|
|
|
2017-09-10 14:52:01 -04:00
|
|
|
echo "$section_index $REPLY" >> "$tagged_toc_file"
|
2017-09-10 14:42:45 -04:00
|
|
|
done < "$toc_file"
|
|
|
|
|
2017-09-10 14:52:01 -04:00
|
|
|
# Sort the sections and sub-sections and remove the tags.
|
2017-10-22 04:42:36 -04:00
|
|
|
sort -sn "$tagged_toc_file" | sed 's/[0-9][0-9]* //' > "$sorted_toc_file"
|
2017-09-10 14:42:45 -04:00
|
|
|
|
|
|
|
echo 'Check for bad ToC sorting:'
|
|
|
|
echo
|
2017-09-10 14:52:01 -04:00
|
|
|
diff -U2 "$sorted_toc_file" "$toc_file" || exit_code=$?
|
2017-09-10 14:42:45 -04:00
|
|
|
|
|
|
|
echo 'Check for mismatched ToC and headings:'
|
|
|
|
echo
|
|
|
|
diff -U3 "$toc_file" "$heading_file" || exit_code=$?
|
|
|
|
|
|
|
|
rm "$toc_file"
|
|
|
|
rm "$heading_file"
|
2017-09-10 14:52:01 -04:00
|
|
|
rm "$tagged_toc_file"
|
2017-09-10 14:42:45 -04:00
|
|
|
rm "$sorted_toc_file"
|
|
|
|
|
|
|
|
exit "$exit_code"
|