From 5059cf0ba4d19d21d4aa29c4cf69079cf865dcce Mon Sep 17 00:00:00 2001
From: binaryDiv <binarydiv@gmail.com>
Date: Thu, 12 Dec 2019 03:18:36 +0100
Subject: [PATCH] add .bashrc.local for servers (prompt with highlighting)

---
 _local/_server/.bashrc.local | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 _local/_server/.bashrc.local

diff --git a/_local/_server/.bashrc.local b/_local/_server/.bashrc.local
new file mode 100644
index 0000000..35b4c66
--- /dev/null
+++ b/_local/_server/.bashrc.local
@@ -0,0 +1,21 @@
+#
+# ~/.bashrc.local -- SERVER version
+#
+
+# Assume colors are set in global .bashrc:
+# - TRED
+# - TGREEN
+# - TBLUE
+# - TGREENB
+# - TCYANB
+# - TWHITEB (bold)
+# - TRESET
+
+# Set prompt: highlight hostname in red to signalize "you're on a server, be careful"
+
+if [[ ${EUID} == 0 ]] ; then
+	PS1="${TRED}\u@\h ${TBLUE}\w ${TWHITEB}\$ ${TRESET}"
+else
+	PS1="${TGREEN}\u@${TRED}\h ${TBLUE}\w ${TWHITEB}\$ ${TRESET}"
+fi
+