also detect fedora

Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
14 years ago · e700437b01
parent cee51f0088
commit e700437b01
1 changed files with 6 additions and 0 deletions
--- a/conf/explorer/os
+++ b/conf/explorer/os
@ -43,6 +43,12 @@ if [ -f /etc/gentoo-release ]; then
   exit 0
 fi

+# Fedora is also Redhat, thus return before redhat!
+if grep -q ^Fedora /etc/redhat-release 2>/dev/null; then
+   echo fedora
+   exit 0
+fi
+
 if [ -f /etc/redhat-release ]; then
   echo redhat
   exit 0