2019-02-22 13:13:19 +11:00
|
|
|
SELF="$(realpath "${BASH_SOURCE[0]}")"
|
|
|
|
DIR="$(cd "$(dirname "${SELF}")"; pwd -P)"
|
|
|
|
|
2019-02-26 12:34:15 +11:00
|
|
|
echo "Processing bashrc" > "${DIR}/log"
|
2019-02-22 13:13:19 +11:00
|
|
|
|
|
|
|
for d in $(ls "${DIR}"/*/profile); do
|
2019-02-26 12:34:15 +11:00
|
|
|
echo "Loading ${d}" >> "${DIR}/log"
|
|
|
|
source "${d}" >> "${DIR}/log"
|
2019-02-22 13:13:19 +11:00
|
|
|
done
|