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