https://gadgeteer.co.za/how-to-manage-linux-bash-history/