Merge pull request #1024 from pi-hole/fix/grep_case_insensitive

Make grep case insensitive
2025-07-19 19:54:31 +02:00 · 2016-12-23 17:07:08 +01:00 · 2016-12-23 17:07:08 +01:00 · eb13d846ef
commit eb13d846ef
parent 420158494d c674a175ee
1 changed files with 2 additions and 2 deletions
--- a/4
+++ b/4
@ -72,9 +72,9 @@ scanList(){
  list="${2}"
  method="${3}"
  if [[ ${method} == "-exact" ]] ; then
-    grep -E "(^|\s)${domain}($|\s)" "${list}"
+    grep -i -E "(^|\s)${domain}($|\s)" "${list}"
  else
-    grep "${domain}" "${list}"
+    grep -i "${domain}" "${list}"
  fi
 }