É possível procurar no gnome-terminal?

6

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

    
por user13107 13.01.2013 / 03:00

2 respostas

9

Usando o grep e suas variações

Normalmente, grep é usado para pesquisa simples. Funcionaria assim:

make 2&>1 | grep Error

Ou se houvesse muita saída e você quisesse 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, instale o pacote ack-grep e faça o seguinte:

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

E se isso gerar muita saída e você quiser usar um pager, precisará de um pouco mais de sintaxe para preservar a cor:

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

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

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

make 2>&1 | less

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

Usando o menu de terminal

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

    
por Mark Stosberg 13.01.2013 / 05:07
13

Vá para o menu pesquisa . Caso contrário:

Shift + Ctrl + F

    
por Ed Villegas 13.01.2013 / 03:09