Re: Maintenant qu'on est vendredi...

Bonjour

... je passais un temps fou à chercher le bon endroit dans la très longue page de man de bash ...

Si le pager utilisé par la commande man sur votre système est less, vous pouvez utiliser ses fonctionnalités de recherche (et beaucoup d'autres).

Sur mon système debian, quand je lance la ligne de commande man bash, au bas de la page une ligne affiche le texte suivant :

Manual page bash(1) line 1 (press h for help or q to quit)

Alors j'ai appuyé sur la touche h et c'est la page d'aide en ligne du pager less qui s'affiche.

Dans cette première page d'aide, je peux lire que la touche q me permettra de quitter l'aide en ligne, et plus bas dans l'aide en ligne, je vois que je peux entrer un motif de recherche en le faisant précéder du caractère /.

Donc je tape q pour quitter l'aide en ligne et revenir dans le manuel de bash,
et j'entre le motif de recherche (précédé du caractère /):

/test expr

Et je peux voir la même page que celle qui s'affiche quand j'entre la ligne de commande suivante :

man --pager='less -p"test expr"' bash

Si vous n'aviez entré que le mot test comme motif de recherche, vous auriez pu arriver à trouver le "bon" endroit en maintenant appuyée la touche n (ou N pour revenir en arrière).

Il faudra échapper certains caractères dans le motif de recherche,
comme, par exemple, si vous voulez rechercher la suite de caractères [[

/\[\[

... et dans ce royaume, ceux qui y voient un peu plus clair sont parfois très mal vus.