Onde a opção “group-separator” está listada na documentação do grep?

1

Meu sabor do grep suporta --group-separator e --no-group-separator , mas eu só descobri isso pesquisando como resolver um problema:

link

Eu tentei:

grep --help | grep separator

e

man grep
/group-separator

sem resultados.

Onde eu encontrei essa informação sem o Google e o Stack Exchange?

    
por Zhro 04.08.2018 / 20:01

1 resposta

3

A documentação da maioria dos utilitários GNU é escrita principalmente no formato texinfo , do qual derivam as páginas info , documentação HTML e formatos para impressão como PDF ou postscript.

Para navegação interativa, geralmente é o formato info que você deseja. As documentações texinfo pegam emprestado os conceitos de tabela de conteúdo e índice dos livros. Em info , o utilitário GNU nativo para procurar a documentação de info , você pode consultar o índice (os vários nós da documentação) com g e o índice com i . A conclusão está disponível para ambos.

Então, aqui, eu faria:

info grep

E em info , pressione i para abrir o prompt de índice, digite group e pressione Tab para ver as possíveis conclusões. Isso traz group separator imediatamente. Se não tivesse, se não houvesse nenhuma entrada de índice para ele, por exemplo, você poderia pesquisar o texto inteiro com s .

Você também pode invocar info como:

info  --index-search=group-separator grep

Ou pressione I em vez de i para obter um nó de texto virtual com a lista de entradas de índice que correspondem à sua consulta.

    
por 04.08.2018 / 20:26