Fix installation for linux finding ID:fedora in os_release

diff --git a/util/linux_install.sh b/util/linux_install.sh
index 942c6581345b7aff5fc1141b948b64915f3a5f5a..d5da59e827a0f7127b86e1f3a8d32b5663996be9 100755 (executable)
--- a/util/linux_install.sh
+++ b/util/linux_install.sh
@@ -1,5 +1,5 @@
 #!/bin/sh
-if grep ID /etc/os-release | grep -q rhel; then
+if grep ID /etc/os-release | grep -qE "rhel|fedora"; then
        # RPM based OS
        sudo dnf install gcc unzip wget zip dfu-util dfu-programmer avr-gcc \
            avr-libc binutils-avr32-linux-gnu arm-none-eabi-gcc-cs \