dist.sh: use `grep -E` instead of `egrep`

`egrep` has been deprecated in GNU grep since 2007, and in current post 3.7 Git it has been made to emit obsolescence warnings: https://git.savannah.gnu.org/cgit/grep.git/commit/?id=a9515624709865d480e3142fd959bccd1c9372d1
2021-11-13 15:16:45 +02:00 · 2021-11-13 15:16:45 +02:00 · 8a2e388e10
parent cf47bde9b6
commit 8a2e388e10
1 changed files with 1 additions and 1 deletions
--- a/dist.sh
+++ b/dist.sh
@ -25,7 +25,7 @@ function check_rhl {
 }

 function check_rhel {
-    egrep -q "(Enterprise|Advanced|CentOS)" $RELEASEFILE && echo $DISTNUM
+    grep -Eq "(Enterprise|Advanced|CentOS)" $RELEASEFILE && echo $DISTNUM
 }

 function check_fedora {