From e700437b01f7bebb6496aba9d55b6a0894319ccd Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@kr.ethz.ch>
Date: Sat, 2 Apr 2011 01:20:24 +0200
Subject: [PATCH] also detect fedora

Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
---
 conf/explorer/os | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/conf/explorer/os b/conf/explorer/os
index f7481193..b636d980 100755
--- 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