J'ai mis GREP_OPTIONS="--ignore-case --color"dans ~/.bashrcque je veux normalement grep au travail insensible à la casse. Cependant, il y a des moments où j'ai besoin de grep pour effectuer une recherche sensible à la casse, mais la page de manuel ne suggère pas de paramètre pour cela. Comment...