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?
\command-nameis used to refer to the original command and not the alias. Really helpful. – mtk Mar 01 '13 at 10:27