HOME BLOGS PROJECTS GITHUB 23 December 2024 I have long been an enthusiastic user of the reverse search (ctrl-r) feature in the bash shell. To recap, if you have a history of typed commands that looks like this: ... make build make test make dep...