From d2896feae42e1b92c41514349d44f30193aed465 Mon Sep 17 00:00:00 2001
From: Alexandre CATTEAU <alexandre.catteau@gmail.com>
Date: Thu, 17 Mar 2022 14:54:40 +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 92445bf..f1827db 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
+
 echo "Copying bashrc-mine to extensions directory..."
 cp $run_directory/bashrc-mine /home/$user/.bashrc.d/