From: paperbenni <paperbenni@gmail.com>
Date: Tue, 30 Jun 2020 16:24:20 +0000 (+0200)
Subject: add repo warning
X-Git-Url: http://git.osdn.net/view?a=commitdiff_plain;h=3f2ae465c926f1be13865f87df785cd009ae009d;p=instantos%2FinstantOS.git

add repo warning
---

diff --git a/repo.sh b/repo.sh
index 5e8982c..4235393 100755
--- a/repo.sh
+++ b/repo.sh
@@ -12,6 +12,8 @@ if ! uname -m | grep -q '^i'; then
         echo "[instant]" >>/etc/pacman.conf
         echo "SigLevel = Optional TrustAll" >>/etc/pacman.conf
         echo "Server = http://instantos.surge.sh" >>/etc/pacman.conf
+    else
+        echo "instantOS repository already added"
     fi
 else
     # 32 bit has a seperate repo (obviously)