util (ble/builtin/trap): suppress INT processing with user traps

docs/ChangeLog.md

@@ -185,6 +185,7 @@
   - trap (`ble/builtin/trap/finalize`): fix a failure of restoring the original trap `#D1864` XXXXXXX
   - trap (`trap -p`): print also custom traps `#D1864` XXXXXXX
   - trap: preserve positional parameters for user trap handlers `#D1865` XXXXXXX
+  - trap: suppress `INT` processing with user traps `#D1866` XXXXXXX
 
 ## Fixes
 

note.txt

@@ -6636,6 +6636,11 @@ bash_tips
 
 2022-08-25
 
+  * trap: ユーザーが INT を設定している時は INT によるキャンセルはしない [#D1866]
+
+    INT によってコマンドがキャンセルされるのを防ぐ為に trap '' INT としても意味
+    がない。結局コマンドが中止される処理が走る。
+
   * trap: user trap handler 内で $@ を復元する [#D1865]
 
     2022-08-29 テストが動かなくなった。何故→これは単純なミスだった。shift を実

src/edit.sh

@@ -6352,14 +6352,18 @@ ble/function#trace _ble_builtin_trap_DEBUG__initialize
 _ble_builtin_trap_DEBUG__initialize
 
 function ble-edit/exec:gexec/.TRAPINT {
-  local sig=130
-  ((_ble_bash>=40300)) || sig=128 # bash-4.2 以下は 128
+  # ユーザートラップがある時は中断処理は実行しない
+  local ret; ble/builtin/trap/sig#resolve INT
+  ble/builtin/trap/user-handler#has "$ret" && return 0
+
+  local ext=130
+  ((_ble_bash>=40300)) || ext=128 # bash-4.2 以下は 128
   if [[ $_ble_attached ]]; then
     ble/util/print "$_ble_term_bold^C$_ble_term_sgr0" >&2
-    _ble_edit_exec_TRAPDEBUG_INT=$sig
+    _ble_edit_exec_TRAPDEBUG_INT=$ext
     ble-edit/exec:gexec/.TRAPDEBUG/trap
   else
-    _ble_builtin_trap_postproc="{ return $sig || break; } &>/dev/tty"
+    _ble_builtin_trap_postproc="{ return $ext || break; } &>/dev/tty"
   fi
 }
 function ble-edit/exec:gexec/.TRAPINT/reset {