https://gnulinux.ro/blog-page-8465-search-previous-commands-typed