Impossible de rechercher des manuels rapidement sans les ouvrir dans Zsh

Question

La commande suivante donne de nombreux manuels de Zsh

man zsh<tab>

texte de remplacement http://dl.getdropbox.com/u/175564/zsh .png

Je voudrais les parcourir rapidement pour rechercher le mot compinit.

Comment rechercher rapidement le mot compinit dans les manuels en zsh?

Answer 1

Souvent pour ce genre de chose     man -k compinit travaux, parce que les auteurs sont suffisamment sensibles pour insérer de nombreux identifiants dans la "description courte". de la page de manuel.

Cela ne semble pas être le cas ici ... vous devrez donc passer par la source. Qui est gzippé ...

zgrep -c compinit /usr/share/man/man1/zsh*

ou si vous n'avez pas zgrep:

cd tmp
cp /usr/share/man/man1/zsh* .
gunzip zsh*.gz
grep -c compinit zsh*

Il existe des moyens plus élégants de le faire, mais cela vous donne une liste de la fréquence à laquelle compinit apparaît dans chaque fichier:

zsh.1:0
zsh4.1:0
zshall.1:0
zshbuiltins.1:0
zshcalsys.1:0
zshcompctl.1:0
zshcompsys.1:29
zshcompwid.1:0
zshcontrib.1:0
zshexpn.1:0
zshmisc.1:0
zshmodules.1:1
zshoptions.1:0
zshparam.1:0
zshroadmap.1:0
zshtcpsys.1:0
zshzftpsys.1:0
zshzle.1:0

Answer 2

Utiliser Internet est probablement la meilleure solution. L'autre approche consiste à utiliser la page de manuel zshall, qui contient toutes les pages de manuel ensemble. Vous pouvez ensuite rechercher compinit dans l’afficheur que vous utilisez.

EDIT: Je viens de me rappeler une meilleure façon de procéder: utilisez la fonction run-help de zsh.

<*>gt; autoload run-help
gt; run-help compinit

Ceci vous mènera à la page de manuel qui, selon zsh, est la plus appropriée pour le sujet. Cela fonctionne également pour les sujets non liés à zsh tels que ps, grep, etc., mais a été adapté pour fonctionner également pour les sujets zsh.

Si pour une raison quelconque run-help n'est pas chargé, vous pouvez utiliser

<*>

pour le faire.

Answer 3

Vous pouvez utiliser Internet ... toutes les pages de manuel y figurent ... préfixez vos recherches

zsh man

(Si vous savez où ils se trouvent sur le disque dur ... vous pourrez peut-être les grep ... je ne sais pas car je n'ai jamais eu besoin de moi-même)