diff options
| author |   Vratko Polak <vrpolak@cisco.com> | 2019-03-20 13:23:30 +0100 |
|---|---|---|
| committer | Vratko Polak <vrpolak@cisco.com> | 2019-03-20 13:23:30 +0100 |
| commit | 6f082130e508e151bb8e92ce459a10b05b3c82b8 (patch) | |
| tree | 5bfd8b0862a81c0d95fd886116e720000e349739 /resources/libraries/bash/entry/check/line.sh | |
| parent | 1901d5ad9a903d261f98d5d2423afbba90b89206 (diff) | |
Add tox checker for lengths of new lines only
- Still non-voting, but useful.
Change-Id: Idd6f345f0f14fdbc237ff66f5e010801ea08dc5b
Signed-off-by: Vratko Polak <vrpolak@cisco.com>
Diffstat (limited to 'resources/libraries/bash/entry/check/line.sh')
| -rw-r--r-- | resources/libraries/bash/entry/check/line.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/resources/libraries/bash/entry/check/line.sh b/resources/libraries/bash/entry/check/line.sh index c58c7d0126..932f3cdbe9 100644 --- a/resources/libraries/bash/entry/check/line.sh +++ b/resources/libraries/bash/entry/check/line.sh @@ -30,10 +30,11 @@ source "${BASH_FUNCTION_DIR}/common.sh" || { exit 1 } -# docs contains too many wide formatted tables. +# Directory docs contains too many wide formatted tables. # .txt contains lines with wide URLs. piped_command='set -exuo pipefail && grep -rn ".\{81\}" "resources/" "tests/"' piped_command+=' | fgrep -v .svg | fgrep -v .txt | tee "lines.log" | wc -l' +# TODO: The greps "fail" if no long line remains. Fix that if it ever happens. lines="$(bash -c "${piped_command}")" || die if [ "${lines}" != "0" ]; then # TODO: Decide which text goes to stdout and which to stderr. |