17 lines
323 B
Bash
Executable File
17 lines
323 B
Bash
Executable File
#!/usr/bin/env bash
|
|
# ollie:parallel read
|
|
# ollie:prompt
|
|
# ## grep
|
|
#
|
|
# Run grep directly. Use for piped input or when file_grep is insufficient.
|
|
#
|
|
# **Args**: `[grep_options..., pattern, file...]`
|
|
#
|
|
# ```
|
|
# call_tool: calls=[{tool: "grep", args: ["-rn", "TODO", "src/"]}]
|
|
# ```
|
|
# ollie:end
|
|
set -uo pipefail
|
|
|
|
exec grep "$@"
|