Где указана опция «разделитель групп» в документации grep?

Моя разновидность grep поддерживает --group-separator и --no-group-separator но я обнаружил это только путем поиска в Google, как решить проблему:

https://stackoverflow.com/questions/2168065/how-do-i-get-rid-of-line-separator-when-using-grep-with-context-lines

Я старался:

 grep --help | grep separator 

а также

 man grep /group-separator 

без результатов.

Где бы я нашел эту информацию без Google и Stack Exchange?

    Документация большинства утилит GNU в основном написана в формате texinfo , из которого получены info страницы, HTML-документация и форматы для печати, такие как PDF или postscript.

    Для интерактивного просмотра это обычно тот формат info который вам нужен. Документация texinfo заимствует концепции содержания и индексации из книг. В info , нативной утилите GNU для просмотра info документации, вы можете запросить оглавление (различные узлы документации) с помощью g , а индекс – с помощью i . Завершение доступно для обоих.

    Так вот, я бы сделал:

     info grep 

    А в info нажмите i чтобы вызвать запрос на указатель, введите group а затем нажмите Tab, чтобы увидеть возможные дополнения. Это сразу приводит к group separator . Если этого не произошло, если бы для него не было, например, индексной записи, вы могли бы выполнить поиск по всему тексту с помощью s .

    Вы также можете вызвать info как:

     info --index-search=group-separator grep 

    Или нажмите I вместо i, чтобы получить виртуальный текстовый узел со списком записей индекса, соответствующих вашему запросу.