1234567891011121314151617181920212223242526272829 |
- #!/usr/bin/env bash
- OUTPUT_FILE="inconsistent-filenames.txt"
- rm -f "$OUTPUT_FILE"
- touch "$OUTPUT_FILE"
- IGNORE_LIST=("exclamation mark" "caret" "history expansion" "qm move disk" "umount" "rename")
- set -e
- find pages* -name '*.md' -type f | while read -r path; do
-
- COMMAND_NAME_FILE=$(basename "$path" | head -c-4 | sed 's/nix3/nix/' | sed 's/\.fish//' | sed 's/\.js//' | sed 's/\.1//' | tr '-' ' ' | tr '[:upper:]' '[:lower:]')
-
- COMMAND_NAME_PAGE=$(head -n1 "$path" | tail -c+3 | sed 's/--//' | tr '-' ' ' | tr '[:upper:]' '[:lower:]')
-
- if [[ "$COMMAND_NAME_FILE" != "$COMMAND_NAME_PAGE" && ! ${IGNORE_LIST[*]} =~ $COMMAND_NAME_PAGE ]]; then
- echo "Inconsistency found in file: $path: $COMMAND_NAME_PAGE should be $COMMAND_NAME_FILE" >> "$OUTPUT_FILE"
- fi
- done
|