mirror of
https://github.com/kovidgoyal/kitty.git
synced 2026-08-03 22:25:57 +00:00
Bash integration: Fix the inherit_errexit option being set by shell integration
Fixes #5349
This commit is contained in:
parent
153064ef3a
commit
795b32efd7
2 changed files with 3 additions and 0 deletions
|
|
@ -23,6 +23,7 @@ if [[ -n "$KITTY_BASH_INJECT" ]]; then
|
|||
}
|
||||
else
|
||||
builtin set +o posix
|
||||
builtin shopt -u inherit_errexit # resetting posix does not clear this
|
||||
if [[ -n "$KITTY_BASH_UNEXPORT_HISTFILE" ]]; then
|
||||
builtin export -n HISTFILE
|
||||
builtin unset KITTY_BASH_UNEXPORT_HISTFILE
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue