Settings Manager
Configurações globais do sistema Ravi.
Comandos
Listar todas
bash
ravi settings list
Ver valor
bash
ravi settings get <key>
Definir valor
bash
ravi settings set <key> <value>
Remover
bash
ravi settings delete <key>
Settings Disponíveis
| Key | Descrição | Valores |
|---|---|---|
defaultAgent | Agent padrão quando nenhuma rota casa | ID do agent |
defaultDmScope | Escopo padrão de DMs | main, per-peer, per-channel-peer, per-account-channel-peer |
defaultTimezone | Fuso horário padrão | America/Sao_Paulo, etc |
Exemplos
Definir agent default:
bash
ravi settings set defaultAgent main
Configurar timezone:
bash
ravi settings set defaultTimezone America/Sao_Paulo