From f106dcab5e40ec2ba5af46e9afa3d258afb06afa Mon Sep 17 00:00:00 2001
From: Virgil <virgil@endless.net.au>
Date: Tue, 4 Jun 2019 03:40:04 +1000
Subject: [PATCH] Supercharge bash -x

---
 .bashenv.d/PS4 | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/.bashenv.d/PS4 b/.bashenv.d/PS4
index 72a5d80..24c672f 100644
--- a/.bashenv.d/PS4
+++ b/.bashenv.d/PS4
@@ -3,4 +3,11 @@
 # requires export BASH_ENV=~/.bashenv which will mean a performance hit,
 # so not worth doing in general
 
-PS4="+\${BASH_SOURCE/\$HOME/\~}@\${LINENO}(\${FUNCNAME[0]}): "
+# PS4="+\${BASH_SOURCE/\$HOME/\~}@\${LINENO}(\${FUNCNAME[0]}): "
+
+# Make it easy to load PS4
+alias loadps4='source ${HOME}/.bashrc.d/prompt-ps4.bashrc; echo PS4=$PS4'
+
+# [!] Don't change to double quotes
+export PS4='+\011\e[1;30m\t  \e[1;34m${BASH_SOURCE}\e[0m:\e[1;36m${LINENO}\e[0m \011 ${FUNCNAME[0]:+\e[0;35m${FUNCNAME[0]}\e[1;30m()\e[0m:\011 }'
+