]> git.plutz.net Git - shellwiki/commitdiff
case insensitive search
authorPaul Hänsch <paul@plutz.net>
Fri, 22 Sep 2023 13:27:40 +0000 (15:27 +0200)
committerPaul Hänsch <paul@plutz.net>
Fri, 22 Sep 2023 13:27:40 +0000 (15:27 +0200)
handlers/40_search.sh

index c9bc62738c985f8db46b8a4326f5eac018c08613..ca068abca14d67b714c2e601ba344b824596cf59 100644 (file)
@@ -13,7 +13,7 @@ words="$( GET q | awk '
           FS = "([] \t\n\r!\"#'\''()*+,./:;<=>?\\^_`{|}~[-]|%[0-9A-Fa-f]{2}|'"$(printf '\342\200[\200-\277]|\342\201[\201-\257]')"')+";
           fi
         }
-       { for (n = 1; n <= NF; n++) printf "%s  ", $n; }
+       { for (n = 1; n <= NF; n++) printf "%s  ", tolower($n); }
 ')"
 
 for w in ${words}; do