I have set GREP_OPTIONS="--ignore-case --color"
in ~/.bashrc
as I normally want grep to work case-insensitive. However, there are times when I need grep to actually search case-sensitive, but the man page doesn´t suggest a param for this.
How can I achieve this?