From 6bf3e8250df1e46e39b0f4e4bffc9ae94172b0d0 Mon Sep 17 00:00:00 2001 From: kwmiebach Date: Thu, 14 Sep 2017 14:45:29 +0200 Subject: [PATCH] Add devuan 1.0.0 Add devuan jessie, see https://devuan.org/os/debian-fork/stable-jessie-announce-052517 --- os_list.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/os_list.txt b/os_list.txt index cdaf8ad019..2aed1dfba8 100644 --- a/os_list.txt +++ b/os_list.txt @@ -110,6 +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 # 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"/