web-dev-qa-db-fra.com

Comment changer le pager de la page de manuel

J'utilise Ubuntu GNOME 15.04 avec GNOME 3.16 et mon pager par défaut actuel pour man est less (je pense), mais je voudrais le changer en quelque chose d'autre comme more , quelqu'un sait-il comment cela pourrait être réalisé?

gnomegnome-terminalmanpagepagermore
3
user364819

Utilisez la variable d'environnement MANPAGER

export MANPAGER=more

par exemple. dans ton ~/.profile ou à l'échelle du système dans /etc/environment

Ainsi, seule la commande man est affectée.

2
A.B.

Le changement le plus simple serait de le configurer en plaçant dans ~/.manpath:

DEFINE pager plus

Alternativement, vous pouvez définir la variable d'environnement MANPAGER sur le programme que vous souhaitez utiliser, comme noté par AB Ou si vous préférez généralement moins à plus, vous pouvez également la définir sur PAGER, qui est également honoré par d'autres programmes, comme git.

man recherche un pager par:

  • en utilisant le programme défini dans $ MANPAGER, sinon ...
  • en utilisant le programme défini dans $ PAGER, sinon ...
  • en utilisant le paramètre pager de la configuration (premier utilisateur, puis global) else…
  • en utilisant le pager par défaut défini à l'étape ./configure sinon…
  • en utilisant le paramètre cat de la configuration (premier utilisateur, puis global) else…
  • en utilisant cat
2
Ángel