Linux Mint 19/19.1 support

public/detect_linux.sh

@@ -9,6 +9,12 @@ elif [ -f /etc/lsb-release ]; then
   . /etc/lsb-release
   DISTNAME=$(echo ${DISTRIB_ID} | awk '{print tolower($0)}')
   DISTVER=${DISTRIB_RELEASE}
+  if [ "$DISTNAME" = "linuxmint" ]; then
+    if [ "$DISTVER" = "19" ] || [ "$DISTVER" = "19.1" ]; then
+      DISNAME=ubuntu
+      DISTVER=18.04
+    fi
+  fi
 elif [ -f /etc/debian_version ]; then
   DISTNAME=debian
   DISTVER=$(head -1 /etc/debian_version|awk -F. '{print $1}')