Skip to content

Commit 33ebc9b

Browse files
authored
Update grep.py
1 parent 9848c12 commit 33ebc9b

1 file changed

Lines changed: 1 addition & 0 deletions

File tree

‎python_agent_harness/tools/grep.py‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -18,6 +18,7 @@
1818

1919
class Grep(Tool):
2020
name = "Grep"
21+
is_readonly = True
2122
description = (
2223
"Search file contents with a regular expression. "
2324
"Use this for content search; use Glob for filename search. "

0 commit comments

Comments
 (0)