GNU/Linux >> Tutoriels Linux >  >> Linux

Lire et rechercher de longues pages de manuel ?

J'en ai finalement eu marre de vouloir lire sur bash est read et c'est -s option avec man bash . J'ai finalement trouvé le bon endroit (autour de la ligne 4500), mais c'était frustrant comme d'habitude, puisque les deux /read et même /s-ss les recherches ont beaucoup trop de correspondances.

Donc, la question est :comment puis-je lire efficacement de longues pages de manuel ou obtenir les mêmes informations par d'autres moyens, localement ? Comme exemple spécifique, comment accéder à la documentation pertinente après avoir vu read -s pwd dans un script shell ? Une bonne réponse pourrait être un extrait de script shell, ou un indice sur un outil et son utilisation, ou autre chose, tant que cela aide à trouver le bon endroit à lire.

Remarque :Je ne marque pas avec bash parce que je veux que la question porte sur la lecture de pages de manuel en général, même s'il s'agit probablement de la page de manuel la plus volumineuse que l'on rencontre le plus souvent.

Réponse acceptée :

Pour obtenir rapidement de l'aide sur une fonction intégrée Bash, utilisez help :

help read

est ce que vous voulez.

Pour un formatage de type page de manuel, utilisez

help -m read

ou, mieux encore,

help -m read | less

Si vous insistez toujours pour le rechercher dans la page de manuel, je trouve que ce qui m'amène rapidement à l'explication d'une commande est

/^s*read [[]

Cela fonctionne car lorsqu'une commande est expliquée pour la première fois, son nom est légèrement en retrait par rapport au début de la ligne. Dans le cas particulier de read , cela prend un peu de navigation avant d'arriver à la véritable read documentation car (pour des raisons évidentes) le mot "lire" est souvent répété tout au long de la page de manuel. Le [[] signifie correspondre à un [ qui précède généralement les paramètres facultatifs. (Je laisse généralement de côté /^s* et fais simplement / [[])

Une autre alternative

Si le changement de format ne vous dérange pas, vous pouvez convertir votre page de manuel en fichier DVI ou PDF :

man -T dvi bash >bash.dvi

ou

man -T ps bash | ps2pdf - bash.pdf # Requires the Ghostscript suite for ps2pdf

Bien sûr, étant donné un document DVI ou PDF, vous pouvez ensuite faire une recherche textuelle facilement.


Linux
  1. Remplacer les pages de manuel par Tealdeer sous Linux

  2. Recherche insensible à la casse dans les pages de manuel ?

  3. Comment lire les pages de manuel dans la langue maternelle ?

  4. Comment lire les pages de manuel dans vim sans utiliser de fichiers temporaires

  5. Quelle est la différence entre les pages de manuel 'hier(7)' et 'file-hierarchy(7)' ?

Comment créer et gérer vos propres pages de manuel

Comment parcourir et lire l'intégralité du wiki Arch en tant que pages de manuel Linux

Comment installer des pages de manuel dans Alpine Linux

Couleurs dans les pages de manuel ?

Caractères de citation de page d'homme ?

Valeur d'autorisation os.MkDir et os.MkDirAll ?