| name | ctx-config |
| description | Manage runtime configuration profiles. Use when asked to switch to dev mode, check active profile, toggle verbose logging, or switch to base. |
| allowed-tools | Bash(ctx config*) |
Manage .ctxrc configuration profiles (dev vs base).
When to Use
- User says "switch to dev mode" / "switch to dev"
- User says "switch to base" / "switch to prod"
- User says "what profile am I on?"
- User says "toggle verbose logging"
- User says "show config status"
Commands
ctx config switch dev
ctx config switch base
ctx config switch
ctx config status
Profiles
| Profile | Description |
|---|
dev | Verbose logging, webhook notifications on |
base | All defaults, notifications off |
Source files (.ctxrc.base, .ctxrc.dev) are committed to git.
The working copy (.ctxrc) is gitignored.
Process
- Determine which operation the user wants (switch or status)
- Run the appropriate
ctx config command
- Report the result to the user