From 16e4aebacefd45210fe52c3a2c432cc7c12c6707 Mon Sep 17 00:00:00 2001
From: Danny Robson <danny@nerdcruft.net>
Date: Tue, 26 Feb 2019 12:34:15 +1100
Subject: [PATCH] log execution of bash_profile to a file

---
 .gitignore      | 1 +
 bash_profile.sh | 4 +++-
 2 files changed, 4 insertions(+), 1 deletion(-)
 create mode 100644 .gitignore

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..31dbbff
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1 @@
+/log
diff --git a/bash_profile.sh b/bash_profile.sh
index 14eafdf..8def271 100755
--- a/bash_profile.sh
+++ b/bash_profile.sh
@@ -1,7 +1,9 @@
 SELF="$(realpath "${BASH_SOURCE[0]}")"
 DIR="$(cd "$(dirname "${SELF}")"; pwd -P)"
 
+echo "Processing bashrc" > "${DIR}/log"
 
 for d in $(ls "${DIR}"/*/profile); do
-	source "${d}"
+	echo "Loading ${d}" >> "${DIR}/log"
+	source "${d}" >> "${DIR}/log"
 done