From cfc58f705f3c19e8626887929fd3dcc1286ed546 Mon Sep 17 00:00:00 2001 From: Jamie Cameron Date: Sun, 6 Dec 2015 18:10:09 -0800 Subject: [PATCH] New Linux Mint version --- os_list.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/os_list.txt b/os_list.txt index bdac53749..ca73baf96 100644 --- a/os_list.txt +++ b/os_list.txt @@ -119,6 +119,7 @@ Linux Mint 16 debian-linux 8.0 `cat /etc/lsb-release 2>/dev/null | grep DISTRI 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"/ +Linux Mint 17.3 debian-linux 8.0 `cat /etc/lsb-release 2>/dev/null | grep DISTRIB_DESCRIPTION` =~ /^DISTRIB_DESCRIPTION="Linux Mint 17.3 Rosa"/ # 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\.]+)/