grep: игнорирование GREP_OPTIONS для поиска с учетом регистра

Я поставил GREP_OPTIONS="--ignore-case --color"в , ~/.bashrcкак я обычно хочу Grep к работе не чувствительны к регистру. Тем не менее, бывают случаи, когда мне нужен grep для фактического поиска с учетом регистра, но страница руководства не предлагает для этого параметра.

Как мне этого добиться?

Я, вероятно, определил бы псевдоним с моими параметрами, например:

alias grep="grep --ignore-case --color"

поскольку это повлияет только на интерактивные программы, а не на скрипты. Вы можете просто запустить \grepили /bin/grepзапустить его без каких-либо опций.

Если вы хотите продолжать использовать, GREP_OPTIONSвы можете просто отключить его для командной строки, например,

GREP_OPTIONS= grep ....