diff --git a/bin/regex-grep-negative b/bin/regex-grep-negative index bf0f9ed..0081e87 100644 --- a/bin/regex-grep-negative +++ b/bin/regex-grep-negative @@ -39,7 +39,7 @@ DEFAULT_CUST_OPS="" # This will be replaced either with custom options # or with the default options. -MY_CHECK="grep --color=always -LnHE \"__CUSTOM_OPT_PLACEHOLDER__\" \"\$1\" || true" +MY_CHECK="grep -iLE \"__CUSTOM_OPT_PLACEHOLDER__\" \"\$1\" || true" # Can this check fix the problems? ENABLE_FIX=0