From c57578085e8cd8489546d95ef4283f1c026eb9ac Mon Sep 17 00:00:00 2001 From: Rafael Fontenelle Date: Thu, 17 Oct 2024 09:59:10 -0300 Subject: [PATCH] Simplify error output redirect in lint.sh To avoid "Syntax error: redirection unexpected" --- scripts/lint.sh | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/scripts/lint.sh b/scripts/lint.sh index 98d037792..27ddfdbb9 100755 --- a/scripts/lint.sh +++ b/scripts/lint.sh @@ -29,7 +29,7 @@ make build ALLSPHINXOPTS="$opts" sphinx-intl update -d locale -p build/gettext -l ${PYDOC_LANGUAGE} > /dev/null cd locale/${PYDOC_LANGUAGE}/LC_MESSAGES -sphinx-lint 2> >(tee -a $(realpath "$rootdir/logs/sphinxlint.txt") >&2) +sphinx-lint 2> $(realpath "$rootdir/logs/sphinxlint.txt") # Undo changes to undo literal blocks disabling git checkout . @@ -41,6 +41,7 @@ if [ ! -s logs/sphinxlint.txt ]; then # OK, it is empty. Remove it. rm logs/sphinxlint.txt else - # has contents, exit with error status (to trigger notification in CI) + # print contents and exit with error status (to trigger notification in CI) + cat logs/sphinxlint.txt exit 1 fi