michael/webmin
1
0
Fork 0
mirror of https://github.com/webmin/webmin.git synced 2026-08-11 18:10:46 +01:00
Code Issues Actions 3 Packages Projects Releases Wiki Activity

Update os_list.txt. Better recognition of devuan

Browse Source
This commit is contained in:
kwmiebach
2017-09-14 16:20:28 +02:00
committed by GitHub
parent 6bf3e8250d
commit 2a33dc612a
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
os_list.txt
View File

@@ -110,7 +110,7 @@ Ubuntu Linux $1 debian-linux 9.0 $etc_issue =~ /Ubuntu.*\s(16\.[0-9\.]+)\s/i |
Ubuntu Linux $1 debian-linux 3.1 $etc_issue =~ /Ubuntu.*\s([0-9\.]+)\s/i
Mepis Linux $1 debian-linux $1 $etc_issue =~ /MEPIS/ && `cat /etc/debian_version 2>/dev/null` =~ /([0-9\.]+)/
Mepis Linux $1 debian-linux 4.0 $etc_issue =~ /MEPIS/ && `cat /etc/debian_version 2>/dev/null` =~ /(stable)/
Devuan Linux 1.0 debian-linux 8.0 `cat /etc/devuan_version 2>/dev/null` =~ /^(jessie)/i
Devuan Linux $1 debian-linux 8.0 $etc_issue =~ /Devuan/ && `cat /etc/devuan_version 2>/dev/null` =~ /^(jessie)/i
# Linux Mint (Mint should be before Debian to avoid false-positive)
Linux Mint 6 debian-linux 5.0 `cat /etc/lsb-release 2>/dev/null | grep DISTRIB_DESCRIPTION` =~ /^DISTRIB_DESCRIPTION="Linux Mint 6 Felicia"/