log execution of bash_profile to a file

.gitignore

@@ -0,0 +1 @@
+/log

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