diff options
| author | Miguel Garcia Rodriguez <miguel.garciarod@gmail.com> | 2018-08-27 19:56:02 +0200 |
|---|---|---|
| committer | skullydazed <skullydazed@users.noreply.github.com> | 2018-09-10 20:52:34 -0700 |
| commit | e9a67f8fde0ecd7528b8ad0c8bfca85dc848eebe (patch) | |
| tree | 65ff3047478925a2ea11886e72643e3c51f6bd78 | |
| parent | 265eca0f7c473a5b6f4b2ab6cec6f751506cf49c (diff) | |
Fix installation for linux finding ID:fedora in os_release
| -rwxr-xr-x | util/linux_install.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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 \ |