From d421848e198007f01dfe76d0462c042b51187085 Mon Sep 17 00:00:00 2001 From: Michael Torp Kaalund Date: Sun, 29 Jan 2017 11:06:42 +0100 Subject: [PATCH] Elementaryos (#904) * added elementary-os to ubuntu/debian in checkdeps * now it also can find elementary os in case for installing package --- scripts/checkdeps | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/checkdeps b/scripts/checkdeps index 89c154cd49..aac53eb619 100755 --- a/scripts/checkdeps +++ b/scripts/checkdeps @@ -100,7 +100,7 @@ if [ -n "$need" ]; then echo "**** You seem to use a $DISTRO system ****" case "$DISTRO" in - ubuntu|debian) + ubuntu|debian|\"elementary\") read -p "would you like to install the needed tools ? (y/n) " ans [ "$ans" = "y" ] && sudo apt-get install $need_pkg ;;