History

• https://www.gnu.org/software/bash/manual/html_node/Bash-History-Facilities.html

Customize bash history HISTTIMEFORMAT#

echo "export HISTTIMEFORMAT="%Y-%m-%d %T " > ~/.bashrc.d/histtimeformat.sh

Save your current bash terminal history and reload from other sessions#

Instead of closing your terminal emulator

history -a && history -r