From 186ca1bdb4e05e184a42f187904e3085012a5a1f Mon Sep 17 00:00:00 2001 From: ilyaigpetrov Date: Sat, 4 May 2019 09:35:08 -0500 Subject: [PATCH] Make grep insensetive --- extensions/chromium/runet-censorship-bypass/grep.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/extensions/chromium/runet-censorship-bypass/grep.sh b/extensions/chromium/runet-censorship-bypass/grep.sh index 9927a84..bbca8a7 100755 --- a/extensions/chromium/runet-censorship-bypass/grep.sh +++ b/extensions/chromium/runet-censorship-bypass/grep.sh @@ -1 +1 @@ -grep -r "$@" ./*.js ./src --exclude-dir=vendor --exclude-dir=node_modules --exclude-dir=dist +grep -ir "$@" ./*.js ./src --exclude-dir=vendor --exclude-dir=node_modules --exclude-dir=dist