grep flag to NOT ignore case

Question

I have a simple script to search patterns in my code sources, named prgrep

#!/usr/bin/bash
grep -irnI --exclude-dir={.git,obj} --exclude=tags --color=auto "$@"

(The fact that it is a script and not an alias or function is that I want to be able to call it from inside vim and with any shell)

Note that the search is case insensitive (since I consider this a good default to search) and the script accepts any flags that grep accepts.

I would like grep to have a flag --no-ignore-case so that the caller of the script could override the -i flag of the script, but GNU grep does not provide this.

Do you have any simple idea to provide such functionality? Currently I have a separate script named Prgrep which performs case sensitive searches.

EDIT
Recent versions of GNU grep do provide a --no-ignore-case option, which is exactly what I need. I'm using GNU grep 3.1, which still doesn't have this option.

Answer 1

New versions of grep have the option --no-ignore-case which overrides -i:

--no-ignore-case
Do not ignore case distinctions in patterns and input data. This is the default. This option is useful for passing to shell scripts that already use -i, to cancel its effects because the two options override each other.

For older versions of grep, you could simply add this as option to your script:

#!/usr/bin/bash
if [ "$1" = "--no-ignore-case" ]; then
    shift
    grep -rnI --exclude-dir={.git,obj} --exclude=tags --color=auto "$@"
else
    grep -irnI --exclude-dir={.git,obj} --exclude=tags --color=auto "$@"
fi

Note: --no-ignore-case will need to be the first argument when you call your script.