Open the editor
| Command | Purpose |
|---|
red [FILES...] | Open zero or more files |
red -r PATH [FILES...] | Set the workspace root before opening files |
red -c TOML [FILES...] | Apply a repeatable inline configuration override |
red --version | Print the installed version |
red --help | Print the generated command reference |
Check the installation and configuration
| Command | Purpose |
|---|
red --self-check | Validate the bundled runtime and plugins |
red --check-config | Validate the effective user configuration |
red --agent-check | Report Codex prerequisites without installing anything |
red --agent-check --strict | Exit nonzero when Agent editing isn't ready |
red keys | Show the keyboard protocol and decoded key events |
Inspect and eject runtime assets
| Command | Purpose |
|---|
red --runtime-files | List visible plugins and themes with their sources |
red --eject ASSET | Copy a bundled plugin or theme into the configuration directory |
red --eject-force ASSET | Replace an existing user copy |
Manage sessions
| Command | Purpose |
|---|
red --detach[=NAME] [FILES...] | Start a detachable owner and attach this terminal |
red --attach NAME | Attach to a local live session |
red --stop NAME | Stop a local live session |
red --resume | Restore the latest crash-recovery snapshot |
Manage packages and languages
red plugin catalog
red plugin install [OWNER/REPOSITORY]
red plugin install --path DIRECTORY
red plugin install --catalog ID
red plugin list
red plugin update ID
red plugin update --all
red plugin disable ID
red plugin enable ID
red plugin remove ID [--purge]
red language trust LANGUAGE_OR_PATH
red language untrust LANGUAGE_OR_PATH
red language check-indent FIXTURES.json