Re: config et man
En réponse à CARDON Benoit <Benoit.CARDON@edpsciences.org>:
> Ca dépendait jadis de la variable d'environnement $PAGER non ? (à moins
>
> que ce ne soit sur une autre distrib', ô honte sur moi ;-) ).
> Mais un apt-get install less devrait résoudre le problème (ca a
> peut-etre changé car un `printenv | grep -i pager` ne me donne rien, et
>
> je visualise pourtant bien ma page de man avec un less).
>
> Ah tiens, on dira ce que l'on veut, mais RTFM :
> man man ...
> -P pager, --pager=pager
> Specify which output pager to use. By default, man
> uses exec /usr/bin/pager -s. This option overrides
> the $PAGER environment variable and is not used in
> conjunction with -f or -k.
>
> Par ailleurs, readlink -f `which pager` donne (roulement de tambour):
> /usr/bin/less
>
>
Autant pour moi, ne m'étant jamais intéressé au fonctionnement de man, je
n'avais pas noté qu'il faisait appel à more ou less.
Merci pour les idées, et désolé pour le dérangement, j'ai pas lu les bons man :)
--
To UNSUBSCRIBE, email to debian-user-french-request@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
Reply to: