diff options
| -rw-r--r-- | session.bash | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/session.bash b/session.bash index 990966b..35eb7de 100644 --- a/session.bash +++ b/session.bash @@ -53,6 +53,20 @@ session() { false fi } + +# NOHIST handling - clear history on session exit +# FIXME: what happens if another plugin wants to hook EXIT?! (they get replaced/overridden - this could be a problem) +trap ' + if [[ "${HISTFILE#~/.bash_history.}" != "$HISTFILE" ]]; then + session="${HISTFILE#~/.bash_history.}" + sessioncwd="$(grep -s '\'' # '\''"$session"'\''$'\'' ~/.bash_session_cwd | tail -n 1)" + sessionflags="${sessioncwd% # *}" + sessionflags="${sessionflags##* # }" + if (eval "$sessionflags" && test -v NOHIST); then + history -c + fi + fi +' exit # setup completion for session(), using only builtins complete -C 'source <(printf "%s" '\'' set -- ~/.bash_history."$2"* |