[monitoring-plugins] CI: Install gawk on fedora > 41

[Jan Wagner]

 Module: monitoring-plugins
 Branch: master
 Commit: 73b42dd08b11be79bbeb4a09910bbe37699ff3b9
 Author: Jan Wagner <waja at cyconet.org>
   Date: Mon Apr 21 00:44:41 2025 +0200
    URL: https://www.monitoring-plugins.org/repositories/monitoring-plugins/commit/?id=73b42dd0

CI: Install gawk on fedora > 41

---

 .github/os_detect.sh | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/.github/os_detect.sh b/.github/os_detect.sh
index ee9c145d..47c762d3 100644
--- a/.github/os_detect.sh
+++ b/.github/os_detect.sh
@@ -1,10 +1,17 @@
 #!/bin/sh -e
+
+. /etc/os-release
+
 # workaround for really bare-bones Archlinux containers:
 if [ -x "$(command -v pacman)" ]; then
     pacman --noconfirm -Sy
     pacman --noconfirm -S grep gawk sed
 fi
 
+if [ ${ID} == "fedora" -a ${VERSION_ID} -gt 41 ]; then
+    dnf install -y gawk
+fi
+
 os_release_file=
 if [ -s "/etc/os-release" ]; then
   os_release_file="/etc/os-release"