É possível pesquisar no terminal gnome?

Existe algo que possa ser usado para pesquisar e destacar termos na saída do terminal? Eu preciso procurar por "Erro" depois de executar make.

Usando grep e suas variações

Geralmente grepé usado para pesquisa simples. Funcionaria assim:

make 2&>1 | grep Error

Ou se havia muita saída e você queria usar um pager:

make 2>&1 | grep Error | less

No entanto, se você quiser ver todo o conteúdo, e não apenas as linhas que correspondem à sua pesquisa, você pode instalar o ack-greppacote e, em seguida, fazer o seguinte:

make 2>&1 | ack-grep --passthru Error 

E se isso gera muita saída e você deseja usar um pager, precisa de um pouco mais de sintaxe para preservar a cor:

make 2>&1 | ack-grep --passthru Error --color | less -R

Em todos os exemplos que incluí, 2>&1que mescla os fluxos de saída STDERR e STDOUT. Caso contrário, você obteria apenas STDOUT, que pode não incluir todos os erros.

Mais uma variação é apenas ir direto para um pager e pesquisar dentro dele:

make 2>&1 | less

Uma maneira de pesquisar em menos é digitando /para inserir um termo de pesquisa. Veja man lesspara mais opções de pesquisa.

Usando o menu do terminal

Usando o menu Pesquisar ou um atalho do teclado Shift+ Ctrl+F

Vá para o menu de pesquisa . De outra forma:

Shift+ Ctrl+F