diff --git a/os_list.txt b/os_list.txt index d4f0559bd..cb550d564 100644 --- a/os_list.txt +++ b/os_list.txt @@ -117,6 +117,8 @@ Linux Mint 14 debian-linux 6.0 `cat /etc/lsb-release 2>/dev/null | grep DISTRI Linux Mint 15 debian-linux 7.0 `cat /etc/lsb-release 2>/dev/null | grep DISTRIB_DESCRIPTION` =~ /^DISTRIB_DESCRIPTION="Linux Mint 15 Olivia"/ Linux Mint 16 debian-linux 8.0 `cat /etc/lsb-release 2>/dev/null | grep DISTRIB_DESCRIPTION` =~ /^DISTRIB_DESCRIPTION="Linux Mint 16 Petra"/ Linux Mint 17 debian-linux 8.0 `cat /etc/lsb-release 2>/dev/null | grep DISTRIB_DESCRIPTION` =~ /^DISTRIB_DESCRIPTION="Linux Mint 17 Qiana"/ +Linux Mint 17.1 debian-linux 8.0 `cat /etc/lsb-release 2>/dev/null | grep DISTRIB_DESCRIPTION` =~ /^DISTRIB_DESCRIPTION="Linux Mint 17.1 Rebecca"/ +Linux Mint 17.2 debian-linux 8.0 `cat /etc/lsb-release 2>/dev/null | grep DISTRIB_DESCRIPTION` =~ /^DISTRIB_DESCRIPTION="Linux Mint 17.2 Rafaela"/ # Debian Linux versions with numbers Debian Linux $1 debian-linux $1 $etc_issue =~ /Debian.*\s([0-9\.]+)\s/i || `cat /etc/debian_version 2>/dev/null` =~ /([0-9\.]+)/