Added support for Ubuntu 7.10

tbrehm

2007-10-24 f629e20dfefd82a8da484e6d50d07975ffb34230

 install/lib/install.lib.php

@@ -56,9 +56,29 @@

$FILE = realpath('../install.php');

//** Get distribution identifier
function get_distname() {
   global $conf; // TODO wtf ?
   $distname = $conf['distname'];
	
   $distname = '';
	
   //** Debian or Ubuntu
   if(file_exists('/etc/debian_version')) {
	
      if(trim(file_get_contents('/etc/debian_version')) == '4.0') {
         $distname = 'debian40';
         swriteln('Operating System: Debian 4.0 or compatible');
      }
      if(trim(file_get_contents('/etc/debian_version')) == 'lenny/sid') {
         $distname = 'debian40';
         swriteln('Operating System: Debian Lenny/Sid or compatible');
      }
   }
	
   //** Redhat
   elseif(file_exists("/etc/redhat_release")) {
	
   }
	
   return $distname;
}