Terminal

[Terminal] Search in terminal history

August 22, 2019 February 7, 2022

Just hit “CTRL” + “R” and you get into the search mode:

(reverse-i-search)`':

and exit with “CTRL” + “G”