michael/webmin
1
0
Fork 0
mirror of https://github.com/webmin/webmin.git synced 2026-02-15 11:12:39 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Support new Debian version

Browse Source
This commit is contained in:
Jamie Cameron
2012-10-20 10:07:52 -07:00
parent 0481c00955
commit e2cdc809a4
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
os_list.txt
View File

@@ -121,8 +121,9 @@ Debian Linux 4.0 debian-linux 4.0 `cat /etc/debian_version 2>/dev/null` =~ /^(
Debian Linux 5.0 debian-linux 5.0 `cat /etc/debian_version 2>/dev/null` =~ /^(lenny)/i
Debian Linux 6.0 debian-linux 6.0 `cat /etc/debian_version 2>/dev/null` =~ /^(squeeze)/i
Debian Linux 7.0 debian-linux 7.0 `cat /etc/debian_version 2>/dev/null` =~ /^(wheezy)/i
Debian Linux 8.0 debian-linux 8.0 `cat /etc/debian_version 2>/dev/null` =~ /^(jessie)/i
# These change sometimes...
Debian Linux 5.0 debian-linux 5.0 `cat /etc/debian_version 2>/dev/null` =~ /^(stable)/i
Debian Linux 6.0 debian-linux 6.0 `cat /etc/debian_version 2>/dev/null` =~ /^(stable)/i
# These don't have a version number yet, so we use the one from "stable"
Debian Linux 5.0 debian-linux 5.0 `cat /etc/debian_version 2>/dev/null` =~ /^(testing)/i
Debian Linux 6.0 debian-linux 6.0 `cat /etc/debian_version 2>/dev/null` =~ /^(unstable)/i