From e4fdf109ddcbe2bbdd8a8a7f771d255f1e61da03 Mon Sep 17 00:00:00 2001 From: Florian Forster Date: Thu, 21 Dec 2023 14:55:15 +0100 Subject: [PATCH] checks/check-built-plugins.sh: Use `grep -E` instead of `egrep`. Fedora 39 has feelings about this: ``` egrep: warning: egrep is obsolescent; using grep -E ``` --- checks/check-built-plugins.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/checks/check-built-plugins.sh b/checks/check-built-plugins.sh index a0721b1..4d9e4ea 100755 --- a/checks/check-built-plugins.sh +++ b/checks/check-built-plugins.sh @@ -4,7 +4,7 @@ set -e declare -A want if [[ $# -ge 1 ]]; then - for p in $(egrep -v '^ *($|#)' "${1}"); do + for p in $(grep -E -v '^ *($|#)' "${1}"); do want["${p}"]=1 done else