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