Как найти используемый человеком пейджер? - PullRequest
2 голосов
/ 19 января 2011

Как найти пейджер, используемый командой man.

Ответы [ 2 ]

7 голосов
/ 19 января 2011

Из опции man man (фрагмент ниже) -P для изменения пейджера и пейджер по умолчанию: /usr/bin/less

-P пейджер Укажите, какой пейджер использовать.Эта опция переопределяет переменную среды MANPAGER, которая, в свою очередь, переопределяет переменную PAGER.По умолчанию man использует / usr / bin / less -is.

4 голосов
/ 21 июня 2012

Альтернативно,

echo $PAGER

, поскольку переменная среды могла быть изменена без ведома на man man.

Добро пожаловать на сайт PullRequest, где вы можете задавать вопросы и получать ответы от других членов сообщества.
...