From 74548a1234269f74fdb63e90e7828fb475f0b2f2 Mon Sep 17 00:00:00 2001
From: mattia <mattia-git@mattiaborsarini.xyz>
Date: Wed, 11 Aug 2021 13:49:16 +0200
Subject: [PATCH] bashrc: Include configuration file

Keep configurations in an external file to make it easier with upgrades.
---
 bashrc      | 7 +++++++
 bashrc.cust | 1 +
 2 files changed, 8 insertions(+)
 create mode 100644 bashrc.cust

diff --git a/bashrc b/bashrc
index d19a7c1..06ed546 100644
--- a/bashrc
+++ b/bashrc
@@ -96,3 +96,10 @@ if [ -z "$BASHRCSOURCED" ]; then
 
 fi
 # vim:ts=4:sw=4
+
+
+
+# Include customized configurations for interactive shell
+if [ "$PS1" = "[\u@\h \W]\\$ " ]; then
+	source /etc/bashrc.cust
+fi
diff --git a/bashrc.cust b/bashrc.cust
new file mode 100644
index 0000000..02ec216
--- /dev/null
+++ b/bashrc.cust
@@ -0,0 +1 @@
+# Custom configuration file
\ No newline at end of file