HGREP should match regardless of the case

diff --git a/tools.pl b/tools.pl
index f162dad5a159674c7b34d44f04016f83c299422a..bf6af1804e4f3e6456d79e88646a9fd2c65ccd84 100755 (executable)
--- a/tools.pl
+++ b/tools.pl
@@ -118,7 +118,7 @@ hook_command 'WIDE', sub {
 hook_command 'HGREP', sub {
  my $txt = $_[1][1];
  return EAT_ALL unless defined $txt;
- $txt = qr/$txt/;
+ $txt = qr/$txt/i;
  my @matches;
  for (get_list 'users') {
   my $host = $_->{host};