From d8418d2f8f097e5764fa7c88fe24c614d20b5de7 Mon Sep 17 00:00:00 2001
From: CyberLeo <cyberleo@cyberleo.net>
Date: Sat, 16 Jun 2012 19:33:12 -0500
Subject: [PATCH] Explicitly load bash_profile.d before processing bashrc.d

Some misguided /etc/profile scripts attempt to load ~/.bashrc before bash
can naturally load ~/.bash_profile; this should ensure bash_profile.d is
loaded before bashrc.d in all cases.
---
 bash-config/bashrc.d/00-bash_profile | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 bash-config/bashrc.d/00-bash_profile

diff --git a/bash-config/bashrc.d/00-bash_profile b/bash-config/bashrc.d/00-bash_profile
new file mode 100644
index 0000000..99bba4b
--- /dev/null
+++ b/bash-config/bashrc.d/00-bash_profile
@@ -0,0 +1,5 @@
+# Avoid /etc/profile scripts that do not load bash_profile by trying to load it
+# before anything else; bash-config will not load itself more than once, so this
+# will not loop.
+
+source "${_base}/bash_profile"
-- 
2.42.0