Terminal [Terminal] Search in terminal history August 22, 2019 February 7, 2022 history, linux, terminal Just hit “CTRL” + “R” and you get into the search mode: (reverse-i-search)`': and exit with “CTRL” + “G”
