https://dxpetti.com/blog/2018/10/searching-your-bash-history-in-linux/