tbrehm
2010-01-14 b6ff2e1bd5c4dd8ecd8fad575ca201a0cd5cc8dd
install/lib/install.lib.php
@@ -72,12 +72,18 @@
         $distid = 'debian40';
         $distbaseid = 'debian';
         swriteln("Operating System: Debian 4.0 or compatible\n");
      } elseif(strstr(trim(file_get_contents('/etc/debian_version')),'5.0') || trim(file_get_contents('/etc/debian_version')) == 'lenny/sid') {
      } elseif(strstr(trim(file_get_contents('/etc/debian_version')),'5.0')) {
         $distname = 'Debian';
         $distver = 'Lenny/Sid';
         $distver = 'Lenny';
         $distid = 'debian40';
         $distbaseid = 'debian';
         swriteln("Operating System: Debian Lenny/Sid or compatible\n");
         swriteln("Operating System: Debian Lenny or compatible\n");
      } elseif(strstr(trim(file_get_contents('/etc/debian_version')),'6.0') || trim(file_get_contents('/etc/debian_version')) == 'squeeze/sid') {
         $distname = 'Debian';
         $distver = 'Squeeze/Sid';
         $distid = 'debian40';
         $distbaseid = 'debian';
         swriteln("Operating System: Debian Squeeze/Sid or compatible\n");
      }  else {
         $distname = 'Debian';
         $distver = 'Unknown';
@@ -159,7 +165,19 @@
         $distbaseid = 'fedora';
         swriteln("Operating System: Redhat or compatible, unknown version.\n");
      }
   }
   //** Gentoo
    elseif(file_exists("/etc/gentoo-release")) {
       $content = file_get_contents('/etc/gentoo-release');
        preg_match_all('/([0-9]{1,2})/', $content, $version);
       $distname = 'Gentoo';
       $distver = $version[0][0].$version[0][1];
       $distid = 'gentoo';
       $distbaseid = 'gentoo';
       swriteln("Operating System: Gentoo $distver or compatible\n");
      
   } else {
      die('unrecognized linux distribution');