From c712e332664be5d81adcc221b8db18022174c861 Mon Sep 17 00:00:00 2001
From: dolorosus <github@dolorosus.de>
Date: Tue, 31 Oct 2017 10:54:26 +0100
Subject: [PATCH] Add linuxmint to checkdeps

---
 scripts/checkdeps | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/checkdeps b/scripts/checkdeps
index 22ede575d2..bdb921f6d8 100755
--- a/scripts/checkdeps
+++ b/scripts/checkdeps
@@ -143,7 +143,7 @@ if [ -n "$need" ]; then
   echo "**** You seem to use a $DISTRO system ****"
 
   case "$DISTRO" in
-    ubuntu|debian|\"elementary\")
+    ubuntu|debian|linuxmint|\"elementary\")
       get_yes_no && sudo apt-get install $need_pkg
       ;;
     fedora|centos|rhel)