diff options
Diffstat (limited to 'docs/argcfile.md')
| -rw-r--r-- | docs/argcfile.md | 16 |
1 files changed, 15 insertions, 1 deletions
diff --git a/docs/argcfile.md b/docs/argcfile.md index 9366a76..c420977 100644 --- a/docs/argcfile.md +++ b/docs/argcfile.md @@ -16,7 +16,7 @@ argc -h # Print help information argc <command> -h # Print help information for <command> # -------- Build -------- -# Build +# Build all argc build # Build all tools @@ -29,6 +29,20 @@ argc build@agent # Build specific agents argc build@agent coder todo +# -------- Check -------- +# Check all +argc check + +# Check all tools +argc check@tool +# Check specific tools +argc check@tool get_current_weather.sh execute_command.sh + +# Check all agents +argc check@agent +# Check specific agents +argc check@agent coder todo + # -------- Run -------- # Run tool argc run@tool get_current_weather.sh '{"location":"London"}' |
