CI: lint: detect indent errors in json (MR 19)

Lines in policies.json start with ".
This commit is contained in:
Oliver Smith 2021-12-04 16:45:25 +01:00
parent 7f5dddd387
commit 445c1da339
No known key found for this signature in database
GPG key ID: 5AE7F5513E0885CB

View file

@ -42,7 +42,7 @@ lint_spaces() {
lint \ lint \
"indent with 4 spaces" \ "indent with 4 spaces" \
-P '^([ ]{1,3}|[ ]{5,7})[a-zA-Z\[\.\/]' -P '^([ ]{1,3}|[ ]{5,7})[a-zA-Z\[\.\/\"]'
lint \ lint \
"spaces at the end of lines are not allowed" \ "spaces at the end of lines are not allowed" \