From 564d45b5a55adeb48f69fdecb2bf4ed1f909850b Mon Sep 17 00:00:00 2001 From: Dan Cross Date: Tue, 22 Jul 2025 14:42:03 +0000 Subject: config: add $egrep Introduce a new variable set in $PLAN9/config: $egrep, which is conditionally set to either `egrep` or `grep -E`, based on platform, and use this when we want to invoke `egrep`. This works around the endless warnings from GNU grep stating that `egrep` is deprecated in favor of `grep -E`, when run on e.g. Linux. --- dist/checkman.awk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'dist') diff --git a/dist/checkman.awk b/dist/checkman.awk index 947888dc..eebb4370 100644 --- a/dist/checkman.awk +++ b/dist/checkman.awk @@ -446,7 +446,7 @@ END { gsub("\\(", " \\(", b) gsub("\\)", "\\)", b) split(tolower(i), a, "/") - print "egrep -in '^\\.IR.*" b "' $PLAN9/man/man*/* # Need " tolower(i) |"sort" + print "grep -in '^\\.IR.*" b "' $PLAN9/man/man*/* # Need " tolower(i) |"sort" } } close("sort") -- cgit v1.2.3