Adds Lint Against Non-TXT UpdatePaths Scripts (#72785)

Prevents Regression Found In #72779 (someone putting an UpdatePaths
script that doesn't end in .txt through) from happening again.
This commit is contained in:
san7890
2023-01-22 22:00:16 +00:00
committed by GitHub
parent 2956541bc4
commit 9beb09a33a
+8
View File
@@ -173,6 +173,14 @@ do
done < <(jq -r '[.map_file] | flatten | .[]' $json)
done
part "updatepaths validity"
lines=$(find tools/UpdatePaths/Scripts -type f ! -name "*.txt" | wc -l)
if [ $lines -gt 0 ]; then
echo
echo -e "${RED}ERROR: Found an UpdatePaths File that doesn't end in .txt! Please add the proper file extension!${NC}"
st=1
fi;
section "515 Proc Syntax"
part "proc ref syntax"
if $grep '\.proc/' $code_x_515 ; then