Spaces:
Running
Running
Update tools.py
Browse files
tools.py
CHANGED
@@ -212,8 +212,8 @@ class FileSearcher(Tool):
|
|
212 |
description = "Search for text within files in the repository."
|
213 |
inputs = {
|
214 |
"search_term": {"type": "string", "description": "Text to search for"},
|
215 |
-
"file_pattern": {"type": "string", "description": "File pattern to search in (e.g., '*.txt' for all .txt files) default is '*'"},
|
216 |
-
"case_sensitive": {"type": "boolean", "description": "Whether the search should be case sensitive default is False"}
|
217 |
}
|
218 |
output_type = "array"
|
219 |
|
|
|
212 |
description = "Search for text within files in the repository."
|
213 |
inputs = {
|
214 |
"search_term": {"type": "string", "description": "Text to search for"},
|
215 |
+
"file_pattern": {"type": "string", "description": "File pattern to search in (e.g., '*.txt' for all .txt files) default is '*'", "nullable": True},
|
216 |
+
"case_sensitive": {"type": "boolean", "description": "Whether the search should be case sensitive default is False", "nullable": True}
|
217 |
}
|
218 |
output_type = "array"
|
219 |
|