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"