Quelle est la valeur par défaut PAGER
utilisée par les pages de manuel.
I, e quel est le programme exécute les pages de manuel?
Cela ressemble à more
ou less
. Je suis sûr que ce n'est pas more
puisque more
ne prend pas en charge le retour arrière.
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 à l'aide de système alternatif Debian (via /etc/alternatives/pager
), et a par défaut la valeur less
name__.
$ 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
name__) est un trait dérivé de Debian. Voir Quels systèmes ont un raccourci/alias 'pager'? sur Unix et Linux.
Par défaut, il s'agit de less
name__. Comme expliqué dans man man
:
-P pager, --pager = pager
Spécifiez le pager de sortie à utiliser. Par défaut, l'homme utilise un téléavertisseur
- s. Cette option remplace la variable d'environnement $ MANPAGER, qui à son tour remplace la variable d'environnement $ PAGER. Il n'est pas utilisé avec -f ou -k.La valeur peut être un simple nom de commande ou une commande avec argument
, et peuvent utiliser des guillemets Shell (barres obliques inverses, guillemets simples ou
double citation). Il ne peut pas utiliser de tuyaux pour connecter plusieurs
mands; si vous en avez besoin, utilisez un script d'encapsulation, qui peut afficher le fichier sous forme d'argument ou sur une entrée standard.
Sur les systèmes basés sur Debian, y compris Ubuntu, pager
est un lien symbolique vers less
name__:
$ readlink -f /usr/bin/pager
/bin/less
Cela signifie que le nom par défaut de man
name __, pager -s
, est less -s
. Vous pouvez changer cela en i) en utilisant l'option -P
de man
name__; ii) définition des variables d'environnement MANPAGER
ou PAGER
name__.