Est-il possible de chercher dans le gnome-terminal?

9

Y a-t-il quelque chose qui peut être utilisé pour rechercher et mettre en évidence des termes dans la sortie du terminal? Je dois rechercher "Erreur" après avoir exécuté make.

user13107
la source
3
réalisé qu'il existe une option de recherche.
user13107

Réponses:

10

Utiliser grep et ses variations

grepEst généralement utilisé pour la recherche simple. Cela fonctionnerait comme ceci:

make 2&>1 | grep Error

Ou s'il y avait beaucoup de sortie et que vous vouliez utiliser un pager:

make 2>&1 | grep Error | less

Cependant, si vous voulez voir tout le contenu, et pas seulement les lignes qui correspondent à votre recherche, vous pouvez installer le ack-greppackage, puis procédez comme suit:

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

Et si cela génère beaucoup de sortie et que vous souhaitez utiliser un pager, vous avez besoin d'un peu plus de syntaxe pour conserver la couleur:

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

Dans tous les exemples que j'ai inclus, 2>&1qui fusionne les flux de sortie STDERR et STDOUT. Sinon, vous obtiendrez uniquement STDOUT, qui pourrait ne pas inclure toutes les erreurs.

Une autre variante consiste simplement à aller directement dans un téléavertisseur et à rechercher dans celui-ci:

make 2>&1 | less

Une façon de rechercher en moins consiste à taper /pour saisir un terme de recherche. Voir man lesspour plus d'options de recherche.

Utilisation du menu du terminal

Utilisation du menu Rechercher ou d'un raccourci clavier Shift+ Ctrl+F

Mark Stosberg
la source
17

Allez dans le menu de recherche . Autrement:

Shift+ Ctrl+F

Ed Villegas
la source