promptgarten 🌱
🌍 FR

Referencia de comandos · Antigravity CLI

/permissions

Abre el administrador interactivo de permisos de herramientas.

/permissions pertenece a la categoría Configurations. Con un selector de ámbito eliges entre Project, Shared y Global, y después entre las pestañas de reglas allow/deny/ask; a añade una regla, e o Ctrl+G la edita, y d o Backspace la elimina. Las reglas siguen el formato action(target), por ejemplo command(git) o mcp(server/tool).

✅ ¿CUÁNDO USARLO?

Permitir la ejecución automática de comandos concretos

Abre /permissions, elige el ámbito Project y pon command(git) en allow

Bloquear una herramienta MCP concreta

Abre /permissions y pon mcp(server/tool) en deny

⛔ ¿CUÁNDO MEJOR NO?

Quieres saltarte por completo los permisos en un único inicio

/permissions gestiona reglas permanentes, no una omisión puntual para un solo inicio.

Mejor: Usa agy --dangerously-skip-permissions al iniciar (con precaución)

FUENTES