Je jouais avec le décor GREP_OPTIONSet je n'arrivais pas à le faire fonctionner. Juste curieux de savoir pourquoi. Sortie de commandes de test simples: richard@ubuntu:~$ echo $GREP_OPTIONS richard@ubuntu:~$ richard@ubuntu:~$ ls | grep o Desktop downloads Dropbox ebooks workspace richard@ubuntu:~$ ls | grep o --color=always | less -R richard@ubuntu:~$ export GREP_OPTIONS="--color=always" …
J'ai un problème avec ces méthodes pour obtenir des couleurs dans mes pages de manuel dans gentoo. J'ai déjà demandé dans les forums gentoo mais cela ne fonctionne toujours pas, et les commentaires dans un rapport de bogue ( bogue 184604 ) ne fonctionnent pas non plus. Quelqu'un peut-il m'aider …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.