Quel est le PAGER par défaut utilisé par les pages de manuel?

16

Quelle est la valeur PAGERpar défaut utilisée par les pages de manuel.

I, e quel est le programme qui exécute les pages de manuel?

Cela ressemble à moreou less. Je suis sûr que ce n'est pas le cas, morecar morene prend pas en charge le retour en arrière.

Maythux
la source
1
Cela ressemble plus ou moins à more(ou less), je pense.
sampathsris

Réponses:

20

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.

muru
la source
Merci .. Je ne sais pas lequel marquer comme réponse. Les deux ont été rapides avec de bonnes informations et deux méthodes différentes pour vérifier le lien symbolique du pager.
Maythux
1
@NewUSer Lancez une pièce. :)
muru
De plus, je pense que vous pouvez changer cela avec MANPAGERl'environnement.
Ron
@ Ron oh, oui. Mais cette variable n'est pas définie par défaut, AFAICT.
muru
2
@NewUSer ah, ne le faites pas. Choisissez la meilleure réponse, pas la première.
muru
16

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, pagerest 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' -Poption de man; ii) définir la MANPAGERou PAGERles variables environnementales.

terdon
la source
Merci .. Je ne sais pas lequel marquer comme réponse. Les deux ont été rapides avec de bonnes informations et deux méthodes différentes pour vérifier le lien symbolique du pager.
Maythux
Désolé ami Je considérais réponse @muru depuis qu'il a été le premier à répondre .. Mais je voudrais pouvoir choisir les deux, vous desrve
Maythux
1
@NewUSer ne vous en faites pas. Muru et moi avons suffisamment de représentants pour nous garder heureux :) Acceptez simplement celui qui, selon vous, répond mieux à votre question. Je vous assure que personne ne sera offensé.
terdon
les deux réponses sont assez bonnes. Merci pour votre âme de sportif
Maythux
@terdon readlink -f /usr/bin/pagermontre /bin/lessmais quand j'exécute la mancommande, elle s'ouvre dans le morepager. Pourquoi?
alhelal