Use case insensitive regex matching with grep files tool

This commit is contained in:
Debanjum
2025-06-18 09:14:42 -07:00
parent 9c38326608
commit d81fb08366
2 changed files with 2 additions and 2 deletions

View File

@@ -1763,7 +1763,7 @@ class FileObjectAdapters:
Search for a regex pattern in file objects, with an optional path prefix filter. Search for a regex pattern in file objects, with an optional path prefix filter.
Outputs results in grep format. Outputs results in grep format.
""" """
query = FileObject.objects.filter(user=user, agent=None, raw_text__regex=regex_pattern) query = FileObject.objects.filter(user=user, agent=None, raw_text__iregex=regex_pattern)
if path_prefix: if path_prefix:
query = query.filter(file_name__startswith=path_prefix) query = query.filter(file_name__startswith=path_prefix)
return await sync_to_async(list)(query) return await sync_to_async(list)(query)

View File

@@ -2900,7 +2900,7 @@ async def grep_files(
# Validate regex pattern # Validate regex pattern
path_prefix = path_prefix or "" path_prefix = path_prefix or ""
try: try:
regex = re.compile(regex_pattern) regex = re.compile(regex_pattern, re.IGNORECASE)
except re.error as e: except re.error as e:
yield { yield {
"query": _generate_query(0, 0, path_prefix, regex_pattern), "query": _generate_query(0, 0, path_prefix, regex_pattern),