Trucs et logiciels

Les astuces ne doivent pas finir à la corbeille !

Avoir un man en couleurs

Lorsque l’on regarde le man d’un programme, on a toujours cet ennuyeux manuel écrit en blanc sur le fond qu’on a choisi :

Man normal

Il existe un moyen d’égayer tout ça et d’obtenir ceci :

Man en couleurs

Cela se fait en changeant le pager utilisé – c’est-à-dire la commande permettant de naviguer dans l’aide page par page. Par défaut, c’est la commande less qui est utilisée. Elle est bien pratique, mais n’affiche pas en couleurs. Pour y remédier, on va changer de pager et utiliser most (après more, less, voici most !). Ce dernier n’est pas installé par défaut, il faut donc le faire :

sudo aptitude install most

On va maintenant ajouter dans le .bashrc (le fichier lu à chaque ouverture de console) que nous voulons que le pager par défaut soit most et non plus less. Pour ce faire, on ajoute la ligne suivante à la fin du fichier :

export PAGER=most

On recharge le .bashrc pour prendre en compte les modifications :

source ~/.bashrc

On vérifie :

echo $PAGER

et si tout va bien, le résultat est most.

Nous pouvons maintenant afficher le man en couleurs (oui c’est la même image qu’avant mais c’est pour le plaisir) :

Man en couleurs

Publicités

2 réponses à “Avoir un man en couleurs

  1. shebang 29 juillet 2010 à 21:05

    Pas besoin d’installer most, `less’ gère très bien la couleur. Suffit de fixer les bonnes variables :
    export LESS_TERMCAP_mb=$’\E[01;31m’ # begin blinking
    export LESS_TERMCAP_md=$’\E[01;38;5;74m’ # begin bold
    export LESS_TERMCAP_me=$’\E[0m’ # end mode
    export LESS_TERMCAP_se=$’\E[0m’ # end standout-mode
    export LESS_TERMCAP_so=$’\E[01;31m’ # begin standout-mode – info box
    export LESS_TERMCAP_ue=$’\E[0m’ # end underline
    export LESS_TERMCAP_us=$’\E[04;38;5;146m’ # begin underline

    😉

  2. kamui57 29 juillet 2010 à 21:43

    Ah merci, je ne savais pas. Bon ben je vais tester.

Laisser un commentaire

Entrez vos coordonnées ci-dessous ou cliquez sur une icône pour vous connecter:

Logo WordPress.com

Vous commentez à l'aide de votre compte WordPress.com. Déconnexion / Changer )

Image Twitter

Vous commentez à l'aide de votre compte Twitter. Déconnexion / Changer )

Photo Facebook

Vous commentez à l'aide de votre compte Facebook. Déconnexion / Changer )

Photo Google+

Vous commentez à l'aide de votre compte Google+. Déconnexion / Changer )

Connexion à %s

%d blogueurs aiment cette page :