Fix #707 - Fix some duplicate tags, and add some code to check for them

This commit is contained in:
w0rp 2017-06-29 12:55:00 +01:00
parent 518f99b480
commit 411c6b5e9f
2 changed files with 11 additions and 3 deletions

View File

@ -119,12 +119,12 @@ g:ale_javascript_prettier_eslint_use_global
------------------------------------------------------------------------------- -------------------------------------------------------------------------------
prettier-standard *ale-javascript-prettier-eslint* prettier-standard *ale-javascript-prettier-standard*
g:ale_javascript_prettier_standard_executable g:ale_javascript_prettier_standard_executable
*g:ale_javascript_prettier_eslint_executable* *g:ale_javascript_prettier_standard_executable*
*b:ale_javascript_prettier_eslint_executable* *b:ale_javascript_prettier_standard_executable*
Type: |String| Type: |String|
Default: `'prettier-standard'` Default: `'prettier-standard'`

View File

@ -194,6 +194,14 @@ if ((run_custom_checks)); then
docker run -a stdout "${DOCKER_FLAGS[@]}" ./custom-checks . || EXIT=$? docker run -a stdout "${DOCKER_FLAGS[@]}" ./custom-checks . || EXIT=$?
set +o pipefail set +o pipefail
echo echo
echo '========================================'
echo 'Checking for duplicate tags'
echo '========================================'
echo 'Duplicate tags follow:'
echo
grep --exclude=tags -roh '\*.*\*$' doc | sort | uniq -d || EXIT=$?
fi fi
exit $EXIT exit $EXIT