main: suppress non-interactive session warnings also for ".bash_profile"

ble.pp

@@ -142,7 +142,7 @@ function ble/debug/measure-set-timeformat {
     builtin echo "ble.sh: ble.sh cannot be loaded into a subshell." >&3
     return 1 2>/dev/null || builtin exit 1
   elif [[ $- != *i* ]]; then
-    { ((${#BASH_SOURCE[@]})) && [[ ${BASH_SOURCE[${#BASH_SOURCE[@]}-1]} == *bashrc ]]; } ||
+    { ((${#BASH_SOURCE[@]})) && case ${BASH_SOURCE[${#BASH_SOURCE[@]}-1]} in (*bashrc|*bash_profile) ;; (*) false ;; esac } ||
       builtin echo "ble.sh: This is not an interactive session." >&3
     return 1 2>/dev/null || builtin exit 1
   fi

docs/ChangeLog.md

@@ -113,6 +113,7 @@
 - Makefile: work around the case the repository is cloned without `--recursive` `#D1655` 22ace5f
 - repo: add subdirectories `make` and `docs` `#D1657` 75bd04c
 - util: time out <kbd>CPR</kbd> requests `#D1669` 1481d48
+- main: suppress non-interactive session warnings also for `.bash_profile` (motivated by andreclerigo) `#D1676` 0000000
 
 ## Fixes
 

note.txt

@@ -5448,6 +5448,14 @@ bash_tips
     Done (実装ログ)
 -------------------------------------------------------------------------------
 
+2021-10-21
+
+  * main: "ble.sh: This is not an interactive session." (reported by andreclerigo) [#D1676]
+
+    恐らく non-interactive session に於いて bash_profile から bashrc が読み込まれている。
+    bash_profile なので bashrc であると検出できなくてメッセージが表示されている。
+    何れにしても non-interactive session で読み込もうとしているのがいけないといえば行けない。
+
 2021-10-04
 
   * blerc: 含まれていない face が存在する (reported by Prikalel) [#D1675]