From 411c6b5e9f8ecf367aaf487adf4e380251c44fa1 Mon Sep 17 00:00:00 2001 From: w0rp Date: Thu, 29 Jun 2017 12:55:00 +0100 Subject: [PATCH] Fix #707 - Fix some duplicate tags, and add some code to check for them --- doc/ale-javascript.txt | 6 +++--- run-tests | 8 ++++++++ 2 files changed, 11 insertions(+), 3 deletions(-) diff --git a/doc/ale-javascript.txt b/doc/ale-javascript.txt index 067eee6f..252335ac 100644 --- a/doc/ale-javascript.txt +++ b/doc/ale-javascript.txt @@ -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_eslint_executable* - *b:ale_javascript_prettier_eslint_executable* + *g:ale_javascript_prettier_standard_executable* + *b:ale_javascript_prettier_standard_executable* Type: |String| Default: `'prettier-standard'` diff --git a/run-tests b/run-tests index 4ee6f892..92dca319 100755 --- a/run-tests +++ b/run-tests @@ -194,6 +194,14 @@ if ((run_custom_checks)); then docker run -a stdout "${DOCKER_FLAGS[@]}" ./custom-checks . || EXIT=$? set +o pipefail echo + + echo '========================================' + echo 'Checking for duplicate tags' + echo '========================================' + echo 'Duplicate tags follow:' + echo + + grep --exclude=tags -roh '\*.*\*$' doc | sort | uniq -d || EXIT=$? fi exit $EXIT