diff options
Diffstat (limited to 'src/doc/rustc-dev-guide/ci/lengthcheck.sh')
-rwxr-xr-x | src/doc/rustc-dev-guide/ci/lengthcheck.sh | 43 |
1 files changed, 43 insertions, 0 deletions
diff --git a/src/doc/rustc-dev-guide/ci/lengthcheck.sh b/src/doc/rustc-dev-guide/ci/lengthcheck.sh new file mode 100755 index 000000000..76d677be7 --- /dev/null +++ b/src/doc/rustc-dev-guide/ci/lengthcheck.sh @@ -0,0 +1,43 @@ +#!/usr/bin/env bash + +# Check files for lines that are too long. + +if [ "$1" == "--help" ]; then + echo 'Usage:' "[MAX_LINE_LENGTH=n] $0 [file ...]" + exit 1 +fi + +if [ "$MAX_LINE_LENGTH" == "" ]; then + MAX_LINE_LENGTH=100 +fi + +if [ "$1" == "" ]; then + files=( src/*.md src/*/*.md src/*/*/*.md ) +else + files=( "$@" ) +fi + +echo "Checking line lengths in all source files <= $MAX_LINE_LENGTH chars..." + +echo "Offending files and lines:" +(( bad_lines = 0 )) +(( inside_block = 0 )) +for file in "${files[@]}"; do + (( line_no = 0 )) + while IFS="" read -r line || [[ -n "$line" ]] ; do + (( line_no++ )) + if [[ "$line" =~ ^'```' ]] ; then + (( inside_block = !$inside_block )) + continue + fi + if ! (( $inside_block )) \ + && ! [[ "$line" =~ " | "|"-|-"|"://"|"]:"|\[\^[^\ ]+\]: ]] \ + && (( "${#line}" > $MAX_LINE_LENGTH )) ; then + (( bad_lines++ )) + echo -e "\t$file:$line_no : $line" + fi + done < "$file" +done + +echo "$bad_lines offending lines found." +(( $bad_lines == 0 )) |