https://ryancollins.org/2016/01/21/saving-bash-shell-history-for-multiple-shells/