Terminal[Terminal] Search in terminal history August 22, 2019 October 4, 2019 history, linux, terminal Just hit “ctrl” + ” r” and you get into the search mode: (reverse-i-search)`':