J^ai fait: $ man -Pcat trucbidule | grep $'^[[:space:]]*.\010' | less
J'ai trouv� bien, du coup j'ajoute � mon .bashrc:
manbold() {
man -Pcat $1 |
grep $'^[[:space:]]*.\010' |
less
}
En attendant que l'un de vous me donne une combine plus simple ;-)
--
F�lix Hauri - <[EMAIL PROTECTED]> - http://www.f-hauri.ch
--
http://www-internal.alphanet.ch/linux-leman/ avant de poser
une question. Ouais, pour se d�sabonner aussi.
