From: Alejandro Colomar Date: Sun, 2 Nov 2025 19:11:44 +0000 (+0100) Subject: src/bin/: Disable pathname expansion X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=6882b3584a1e6d7d5ee0a2457c0ea163d526ab89;p=thirdparty%2Fman-pages.git src/bin/: Disable pathname expansion We don't use globs within these scripts, so disable them, for safety reasons. Signed-off-by: Alejandro Colomar --- diff --git a/src/bin/diffman-git b/src/bin/diffman-git index cabae0574..20fff3567 100755 --- a/src/bin/diffman-git +++ b/src/bin/diffman-git @@ -3,7 +3,7 @@ # Copyright, the authors of the Linux man-pages project # SPDX-License-Identifier: GPL-3.0-or-later -set -Eeuo pipefail; +set -Eefuo pipefail; shopt -s lastpipe; # Defaults: diff --git a/src/bin/grepc b/src/bin/grepc index 50af53e25..5de767ac4 100755 --- a/src/bin/grepc +++ b/src/bin/grepc @@ -3,7 +3,7 @@ # Copyright, the authors of the Linux man-pages project # SPDX-License-Identifier: GPL-3.0-or-later -set -Eeuo pipefail; +set -Eefuo pipefail; trap 'exit 2;' ERR; diff --git a/src/bin/mansect b/src/bin/mansect index 85c13c0d7..7565f8af0 100755 --- a/src/bin/mansect +++ b/src/bin/mansect @@ -3,7 +3,7 @@ # Copyright, the authors of the Linux man-pages project # SPDX-License-Identifier: GPL-3.0-or-later -set -Eeuo pipefail; +set -Eefuo pipefail; if test $# -lt 1; then diff --git a/src/bin/pdfman b/src/bin/pdfman index 8818f932b..304a11ad2 100755 --- a/src/bin/pdfman +++ b/src/bin/pdfman @@ -3,7 +3,7 @@ # Copyright, the authors of the Linux man-pages project # SPDX-License-Identifier: GPL-3.0-or-later -set -Eeuo pipefail; +set -Eefuo pipefail; shopt -s lastpipe; printf '%s\n' "${!#}.XXXXXX" \