| | |
| | | $distbaseid = 'debian'; |
| | | swriteln("Operating System: Debian 4.0 or compatible\n"); |
| | | } |
| | | if(trim(file_get_contents('/etc/debian_version')) == 'lenny/sid') { |
| | | if(trim(file_get_contents('/etc/debian_version')) == '5.0' || trim(file_get_contents('/etc/debian_version')) == 'lenny/sid') { |
| | | $distname = 'Debian'; |
| | | $distver = 'Lenny/Sid'; |
| | | $distid = 'debian40'; |
| | |
| | | } |
| | | } |
| | | |
| | | function is_installed($appname) { |
| | | exec('which '.escapeshellcmd($appname),$out); |
| | | if(isset($out[0]) && stristr($out[0],$appname)) { |
| | | return true; |
| | | } else { |
| | | return false; |
| | | } |
| | | } |
| | | |
| | | |
| | | ?> |
| | | |
| | | ?> |