From e9a67f8fde0ecd7528b8ad0c8bfca85dc848eebe Mon Sep 17 00:00:00 2001
From: Miguel Garcia Rodriguez <miguel.garciarod@gmail.com>
Date: Mon, 27 Aug 2018 19:56:02 +0200
Subject: [PATCH] Fix installation for linux finding ID:fedora in os_release

---
 util/linux_install.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/util/linux_install.sh b/util/linux_install.sh
index 942c658134..d5da59e827 100755
--- 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 \