add .bash_profile and .profile don't source .bashrc

Author: rvenutolo

dot_config/exact_bash/NOTES

@@ -1,8 +1,31 @@
 https://wiki.archlinux.org/title/Bash
 
-All interactive shells source /etc/bash.bashrc and ~/.bashrc, while
-interactive login shells also source /etc/profile and ~/.bash_profile.
+---
 
++----------------+-----------+-----------+------+
+|                |Interactive|Interactive|Script|
+|                |login      |non-login  |      |
++----------------+-----------+-----------+------+
+|/etc/profile    |   A       |           |      |
++----------------+-----------+-----------+------+
+|/etc/bash.bashrc|           |    A      |      |
++----------------+-----------+-----------+------+
+|~/.bashrc       |           |    B      |      |
++----------------+-----------+-----------+------+
+|~/.bash_profile |   B1      |           |      |
++----------------+-----------+-----------+------+
+|~/.bash_login   |   B2      |           |      |
++----------------+-----------+-----------+------+
+|~/.profile      |   B3      |           |      |
++----------------+-----------+-----------+------+
+|BASH_ENV        |           |           |  A   |
++----------------+-----------+-----------+------+
+|                |           |           |      |
++----------------+-----------+-----------+------+
+|                |           |           |      |
++----------------+-----------+-----------+------+
+|~/.bash_logout  |    C      |           |      |
++----------------+-----------+-----------+------+
 ---
 
 https://www.gnu.org/software/bash/manual/bash.html#Bash-Startup-Files

dot_config/exact_bash/profile.bash

@@ -0,0 +1,9 @@
+#!/usr/bin/env bash
+
+if [[ -f "${HOME}/.profile" ]]; then
+  source "${HOME}/.profile"
+fi
+
+if [[ -f "${HOME}/.bashrc" ]]; then
+  source "${HOME}/.bashrc"
+fi

dot_config/profile

@@ -155,7 +155,3 @@ done
 unset -v dir
 
 unset -f __executable_exists __is_readable_file __path_append __path_prepend __path_remove
-
-if [ -n "${BASH_VERSION:-}" ] && [ -f "${HOME}/.bashrc" ]; then
-  . "${HOME}/.bashrc"
-fi

remove_dot_bash_profile

@@ -0,0 +1 @@
+.config/bash/profile.bash