Debian 10 support

2019-07-09 18:09:21 -05:00
parent 047678f44c
commit 91632b0a7d
4 changed files with 8 additions and 3 deletions
--- a/public/detect_linux.sh
+++ b/public/detect_linux.sh
@@ -59,7 +59,9 @@ elif [ -f /etc/debian_version ]; then
  DISTNAME=debian
  DISTVER=$(head -1 /etc/debian_version|awk -F. '{print $1}')
  if [ "$DISTVER" != "9" ]; then
-    resetDistVer
+    if [ "$DISTVER" != "10" ]; then
+      resetDistVer
+    fi
  fi
 elif [ -f /etc/os-release ]; then
  . /etc/os-release