From 57a08ae20457ad6c14c0d94fb4ce3b4a7968fff6 Mon Sep 17 00:00:00 2001
From: EsGeh <SamuelGfroerer@googlemail.com>
Date: Tue, 30 Apr 2019 15:03:08 +0200
Subject: [PATCH] renamed init and exit scripts

---
 README.md                         | 2 +-
 scripts/{uninstall.sh => exit.sh} | 0
 scripts/{install.sh => init.sh}   | 0
 3 files changed, 1 insertion(+), 1 deletion(-)
 rename scripts/{uninstall.sh => exit.sh} (100%)
 rename scripts/{install.sh => init.sh} (100%)

diff --git a/README.md b/README.md
index 396ec2e..7993532 100644
--- a/README.md
+++ b/README.md
@@ -6,7 +6,7 @@ This repository also contains an example file that contains all the phenomena th
 
 # Installation
 
-	$ ./scripts/install.sh
+	$ ./scripts/init.sh
 
 
 # Validity checking
diff --git a/scripts/uninstall.sh b/scripts/exit.sh
similarity index 100%
rename from scripts/uninstall.sh
rename to scripts/exit.sh
diff --git a/scripts/install.sh b/scripts/init.sh
similarity index 100%
rename from scripts/install.sh
rename to scripts/init.sh