diff options
| author | Achilleas Pipinellis <axil@gitlab.com> | 2017-09-25 11:59:25 +0300 |
|---|---|---|
| committer | Achilleas Pipinellis <axil@gitlab.com> | 2017-09-25 11:59:25 +0300 |
| commit | 0741b86b2790dca9394f05ca19c336aaecb9d6cd (patch) | |
| tree | ddab7a798b6725bc46cb98c40d63f6b755dc9e8d /scripts/lint-doc.sh | |
| parent | 6532c137a74a23f062be29770c84ec2ab8cf5116 (diff) | |
Check for exec permissions also in app/
Diffstat (limited to 'scripts/lint-doc.sh')
| -rwxr-xr-x | scripts/lint-doc.sh | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/scripts/lint-doc.sh b/scripts/lint-doc.sh index fffb727ac2f..e5242fee32b 100755 --- a/scripts/lint-doc.sh +++ b/scripts/lint-doc.sh @@ -24,13 +24,12 @@ then fi # Make sure no files in doc/ are executable -EXEC_PERM_COUNT=$(find doc/ -type f -perm 755 | wc -l) +EXEC_PERM_COUNT=$(find doc/ app/ -type f -perm 755 | wc -l) echo 'Checking for executable permissions...' if [ "${EXEC_PERM_COUNT}" -ne 0 ] then echo '✖ ERROR: Executable permissions should not be used in documentation! Use `chmod 644` to the files in question:' >&2 - echo - find doc/ -type f -perm 755 + find doc/ app/ -type f -perm 755 exit 1 fi |