Sindhu S
sindhus@live.in 2013
Ekaterina Gerasimova
kittykat3756@gmail.com 2013
Michael Hill
mdhillca@gmail.com 2013
Effectuer une recherche dans la sortie de Terminal.
Yoann Fievez
yoann.fievez@gmail.com 2013
Julien Hardelin
jhardlin@orange.fr 2013
Alexandre Franke
alexandre.franke@gmail.com 2014
Alain Lojewski
allomervan@gmail.com 2014
Jérôme Sirgue
jsirgue@free.fr 2014
Guillaume Bernard
associations@guillaume-bernard.fr 2015-2020
Charles Monzat
charles.monzat@free.fr 2020

# Recherche du texte

Pour rechercher du texte dans la sortie de Terminal :

Cliquez sur le bouton Search key symbol situé dans le coin supérieur droit, ou appuyez sur Ctrl Maj F.

Tapez le mot-clé recherché et appuyez sur Entrée pour effectuer une recherche en arrière. Vous pouvez également cliquer sur les flèches en fonction de la direction de recherche souhaitée.

Vous pouvez effectuer une recherche en utilisant les options suivantes pour affiner vos résultats :

# Respecter la casse

Rend la recherche sensible à la casse : cela limite les résultats à ceux qui correspondent à la typographie de votre mot-clé.

# Mots entiers seulement

Terminal va rechercher le mot-clé dans son intégralité et va ignorer les résultats qui correspondent partiellement à ce mot. Par exemple, si vous avez recherché « chat », Terminal n’affichera que les résultats qui correspondent à ce mot-clé exactement et omettra des résultats tels que « chaton ».

# Utiliser comme expression régulière

Vous pouvez utiliser des motifs d’expressions régulières, également connu comme les modèles regex, dans vos mots-clés de recherche. Terminal affichera les résultats qui correspondent à ces critères de recherche.

# Recherche circulaire

Terminal recherche depuis votre position actuelle dans le défilement jusqu’à la fin des sorties de terminal disponibles, puis redémarre la recherche.

Si vous prévoyez de travailler avec un grand nombre de sorties de Terminal, augmentez les lignes de défilement pour permettre à Terminal de rechercher plus loin en arrière.