From 4d0de08caa04efbe4947cde8f53ab768360f0ad6 Mon Sep 17 00:00:00 2001
From: Alexandre CATTEAU <alexandre.catteau@gmail.com>
Date: Thu, 17 Mar 2022 15:08:12 +0100
Subject: [PATCH] Add the ability to disable install

---
 .gitignore | 1 +
 install.sh | 5 +++++
 2 files changed, 6 insertions(+)
 create mode 100644 .gitignore

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..a4603f7
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1 @@
+.disabled
diff --git a/install.sh b/install.sh
index 02ca25b..35d0bd9 100755
--- a/install.sh
+++ b/install.sh
@@ -3,6 +3,11 @@
 run_directory=$(dirname "$0")
 user=$(whoami)
 
+if [ -f $run_directory/.disabled ]; then
+  echo "Installation is disabled. Exiting..."
+  exit 0
+fi
+
 if [[ $user != 'root' ]]; then
   echo "Copying rcs to home directory..."
   cp $run_directory/bashrc /home/$user/.bashrc