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
.
gnome-terminal
user13107
la source
la source
Réponses:
Utiliser grep et ses variations
grep
Est généralement utilisé pour la recherche simple. Cela fonctionnerait comme ceci:Ou s'il y avait beaucoup de sortie et que vous vouliez utiliser un pager:
Cependant, si vous voulez voir tout le contenu, et pas seulement les lignes qui correspondent à votre recherche, vous pouvez installer le
ack-grep
package, puis procédez comme suit: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:
Dans tous les exemples que j'ai inclus,
2>&1
qui 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:
Une façon de rechercher en moins consiste à taper
/
pour saisir un terme de recherche. Voirman less
pour plus d'options de recherche.Utilisation du menu du terminal
Utilisation du menu Rechercher ou d'un raccourci clavier Shift+ Ctrl+F
la source
Allez dans le menu de recherche . Autrement:
Shift+ Ctrl+F
la source