Merge pull request #2166 from dolorosus/patch-1

Add linuxmint to checkdeps
This commit is contained in:
MilhouseVH 2017-11-06 19:54:24 +00:00 committed by GitHub
commit d137a05fd3
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -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)