Réponses:
De man man
:
... The pager can be
specified in a number of ways, or else will fall back to a default is
used (see option -P for details).
...
-P pager, --pager=pager
Specify which output pager to use. By default, man uses pager
-s. This option overrides the $MANPAGER environment variable,
which in turn overrides the $PAGER environment variable. It is
not used in conjunction with -f or -k.
pager
( /usr/bin/pager
) est défini en utilisant le système alternatif Debian (via /etc/alternatives/pager
), et par défaut à less
.
$ update-alternatives --display pager
pager - auto mode
link currently points to /bin/less
/bin/less - priority 77
slave pager.1.gz: /usr/share/man/man1/less.1.gz
/bin/more - priority 50
slave pager.1.gz: /usr/share/man/man1/more.1.gz
/usr/bin/pg - priority 10
slave pager.1.gz: /usr/share/man/man1/pg.1.gz
/usr/bin/w3m - priority 25
slave pager.1.gz: /usr/share/man/man1/w3m.1.gz
Current 'best' version is '/bin/less'.
Apparemment, ce défaut particulier (en utilisant une commande nommée pager
) est un trait dérivé de Debian. Voir Quels systèmes ont un raccourci / alias 'pager'? sur Unix et Linux.
MANPAGER
l'environnement.
Par défaut, c'est less
. Comme expliqué dans man man
:
-P pager, --pager = pager
Spécifiez le pager de sortie à utiliser. Par défaut, man utilise pager
-s . Cette option remplace la variable d'environnement $ MANPAGER, qui à son tour remplace la variable d'environnement $ PAGER. Il n'est pas utilisé en conjonction avec -f ou -k.La valeur peut être un nom de commande simple ou une commande avec des arguments
, et peut utiliser des guillemets shell (barres obliques inversées, guillemets simples ou
guillemets doubles). Il ne peut pas utiliser de tuyaux pour connecter plusieurs commandes
; si vous en avez besoin, utilisez un script wrapper, qui peut prendre le fichier à afficher soit comme argument, soit sur une entrée standard.
Sur les systèmes basés sur Debian, y compris Ubuntu, pager
est un lien symbolique vers less
:
$ readlink -f /usr/bin/pager
/bin/less
Cela signifie que man
, par défaut pager -s
, est less -s
. Vous pouvez changer cela en i) utilisant l' -P
option de man
; ii) définir la MANPAGER
ou PAGER
les variables environnementales.
readlink -f /usr/bin/pager
montre /bin/less
mais quand j'exécute la man
commande, elle s'ouvre dans le more
pager. Pourquoi?
more
(ouless
), je pense.