config

Manage PRCtrl configuration settings.

Create, view, and update your local configuration file.

When to Use

• Initial setup: prctrl config init
• Check current config: prctrl config show
• Update specific fields: prctrl config update --token xxx

Configuration File Location

The configuration file is stored in your OS configuration directory:

• macOS: ~/Library/Application Support/prctrl/config.toml
• Linux: $XDG_CONFIG_HOME/prctrl/config.toml (defaults to ~/.config/prctrl/config.toml)
• Windows: %APPDATA%\prctrl\config.toml

Quote paths containing spaces when opening the file, for example:

vim "$HOME/Library/Application Support/prctrl/config.toml"

Synopsis

# Interactive configuration setup
prctrl config init
prctrl config init --force   # Overwrite existing without prompting

# Display current configuration
prctrl config show

# Update specific configuration fields
prctrl config update --token YOUR_GITHUB_TOKEN
prctrl config update --org your-org --repos repo1,repo2
prctrl config update --teams team-slug-1,team-slug-2

Subcommands

init

Create a new configuration file interactively.

An existing empty file can be initialized without --force. Files with content are preserved unless you pass --force.

prctrl config init
prctrl config init --force   # Overwrite without prompting

You’ll be prompted for:

• GitHub Token (required)
• GitHub Username (required)
• Repository owner (optional, defaults to your GitHub username)
• GitHub Repositories (optional, comma-separated)
• GitHub Teams (optional, comma-separated slugs)
• Crew Members (optional, comma-separated usernames)
• Anthropic API Key (optional)

Leave github.org empty or omit it for personal repositories. An explicit value selects that organization or user’s repositories. PRCTRL_GITHUB_ORG and GITHUB_ORG override the file; a blank override also selects your username.

show

Display the current configuration file contents.

prctrl config show

update

Update specific configuration fields without full re-initialization.

prctrl config update --token YOUR_TOKEN
prctrl config update --org your-org
prctrl config update --repos repo1,repo2
prctrl config update --teams team-slug-1,team-slug-2
prctrl config update --crew username1,username2
prctrl config update --api-key YOUR_API_KEY

All flags are optional. Only provided flags will be updated.

Options

init Options

show Options

No additional options.

update Options

Examples

Initial Setup

$ prctrl config init
📝 Creating new configuration file...
   Path: /home/user/.config/prctrl/config.toml

GitHub Token (PRCTRL_GITHUB_TOKEN or GITHUB_TOKEN): ghp_xxxxxxxxxxxx
GitHub Username (PRCTRL_GITHUB_USERNAME or GITHUB_USERNAME): myusername
Repository owner (optional, defaults to your username): my-org
GitHub Repositories (comma-separated, e.g. repo1,repo2) (optional): repo1,repo2
GitHub Teams (comma-separated slugs, optional): my-team,other-team
Crew Members (comma-separated usernames, optional): alice,bob
Anthropic API Key (optional):

✅ Configuration saved successfully!

Check Current Config

$ prctrl config show
📄 Configuration File: /home/user/.config/prctrl/config.toml

--------------------------------------------------
# PRCtrl Configuration File
# Created at: 2024-01-15T10:30:00+00:00

[github]
token = "ghp_xxxxxxxxxxxx"
username = "myusername"
org = "my-org"
repos = ["repo1", "repo2"]
teams = ["my-team", "other-team"]
crew_members = ["alice", "bob"]
--------------------------------------------------

Update Specific Fields

$ prctrl config update --org new-org --teams new-team
✅ Configuration updated successfully!
   Path: /home/user/.config/prctrl/config.toml

Notes

• The configuration file is stored in TOML format
• Environment variables (PRCTRL_* or GITHUB_*) take precedence over config file values
• Use prctrl config init --force to regenerate the entire config file

Reviews Location

Review files are stored beside the config in the OS configuration directory. For example, on Linux:

~/.config/prctrl/reviews/

This keeps your reviews organized with your config.