Как изменить пейджер manpage

Я использую Ubuntu GNOME 15.04 с GNOME 3.16 и мой текущий пейджер по умолчанию для man является less (Я думаю), но я бы хотел изменить это на что-то другое moreКто-нибудь знает, как этого можно достичь?

Источник

3 ответа

Решение

Используйте переменную среды MANPAGER

export MANPAGER=more

например, в вашем ~/.profile или в масштабе всей системы /etc/environment

Таким образом, влияет только man команда.

Источник

Самым простым изменением было бы настроить его, поместив в ~/.manpath:

ОПРЕДЕЛИТЬ пейджер больше

Кроме того, вы можете установить переменную среды MANPAGER к программе, которую вы хотите использовать, как отмечает AB. Или, если вы предпочитаете меньше, вы можете также установить ее на PAGER, что также приветствуется другими программами, такими как git.

человек ищет пейджер по:

  • используя программу, установленную в $MANPAGER, еще…
  • используя программу, установленную в $PAGER, еще…
  • с использованием pager настройка из конфигурации (сначала пользователь, затем глобальный) еще…
  • используя пейджер по умолчанию, заданный в шаге./configure, еще…
  • с использованием cat настройка из конфигурации (сначала пользователь, затем глобальный) еще…
  • с помощью cat
Источник

В дополнение к данным ответам можно изменить пейджер Ubuntu по умолчанию, запустив

      sudo update-alternatives --config pager

Будет перечислено несколько пейджеров и предложено выбрать один.
Это изменит пейджер по умолчанию дляmanи для других программ тоже.

Источник
Другие вопросы по тегам