Merge pull request #19 from peppermintos/master

Added support for PeppermintOS
erikdubois · Oct 31, 2019 · 2c1b448 · 2c1b448
2 parents 75c9ba3 + 0761a20
commit 2c1b448
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/installation1.sh b/installation1.sh
@@ -64,7 +64,7 @@ echo "################################################################"
 
 case $DISTRO in
 
-	LinuxMint|linuxmint|Ubuntu|ubuntu)
+	LinuxMint|linuxmint|Ubuntu|ubuntu|Peppermint|peppermint)
 
 		sudo apt-get install -y git autoconf automake pkg-config libgtk-3-dev inkscape optipng