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:~$...