From 0761a20facd9ca85c504f8523d7ad3cd2a9c3431 Mon Sep 17 00:00:00 2001
From: Mark Greaves <mark@peppermintos.com>
Date: Thu, 31 Oct 2019 19:54:43 +0000
Subject: [PATCH] Added support for PeppermintOS

Added support for Peppermint recognition in DISTRO=$(lsb_release -si)
---
 installation1.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/installation1.sh b/installation1.sh
index f618c3f7..f04a725e 100755
--- 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