# /etc/bash/bash_logout

if declare -f clean_bash_history >/dev/null; then
    clean_bash_history "$HISTFILE"
fi
