Quelle est la valeur PAGER
par défaut utilisée par les pages de manuel.
I, e quel est le programme qui exécute les pages de manuel?
Cela ressemble à more
ou less
. Je suis sûr que ce n'est pas le cas, more
car more
ne prend pas en charge le retour en arrière.
more
(ouless
), je pense.Réponses:
De
man man
:pager
(/usr/bin/pager
) est défini en utilisant le système alternatif Debian (via/etc/alternatives/pager
), et par défaut à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.la source
MANPAGER
l'environnement.Par défaut, c'est
less
. Comme expliqué dansman man
:Sur les systèmes basés sur Debian, y compris Ubuntu,
pager
est un lien symbolique versless
:Cela signifie que
man
, par défautpager -s
, estless -s
. Vous pouvez changer cela en i) utilisant l'-P
option deman
; ii) définir laMANPAGER
ouPAGER
les variables environnementales.la source
readlink -f /usr/bin/pager
montre/bin/less
mais quand j'exécute laman
commande, elle s'ouvre dans lemore
pager. Pourquoi?