Я выполняю Ubuntu GNOME 15.04 с GNOME 3.16 и моим текущим пейджером по умолчанию для man
less
(Я думаю), но я хотел бы изменить его на что-то еще как more
, кто-либо знает, как это могло быть достигнуто?
Используйте переменную среды MANPAGER
export MANPAGER=more
, например, в Вашем ~/.profile
, или в масштабе всей системы в /etc/environment
Таким образом только затронут эти man
команда.
Самое легкое изменение состояло бы в том, чтобы настроить его путем размещения в ~/.manpath
:
ОПРЕДЕЛИТЕ пейджер больше
С другой стороны, можно установить переменную среды MANPAGER
к программе Вы хотите использовать, как отмечено A.B. Или если Вы обычно предпочитаете меньше больше, можно также установить его на PAGER
, который также соблюдают другие программы, как мерзавец.
человек searchs пейджер:
pager
еще сходя с конфигурации (первый пользователь, затем глобальный) …cat
еще сходя с конфигурации (первый пользователь, затем глобальный) …cat