promptgarten 🌱
🌍 ZH

Référence des commandes · Antigravity CLI

/permissions

Ouvre le gestionnaire interactif des permissions d'outils.

/permissions appartient à la catégorie Configurations. Un sélecteur de scope te permet de choisir entre Project, Shared et Global, puis entre les onglets du visualiseur de règles allow/deny/ask ; a ajoute une règle, e ou Ctrl+G la modifie, d ou Retour arrière la supprime. Les règles suivent le format action(target), par ex. command(git) ou mcp(server/tool).

✅ QUAND L’UTILISER ?

Autoriser l'exécution automatique de certaines commandes

Ouvre /permissions, choisis le scope Project et mets command(git) sur allow

Bloquer précisément un outil MCP

Ouvre /permissions et mets mcp(server/tool) sur deny

⛔ QUAND ÉVITER ?

Contourner complètement les permissions pour un seul démarrage

/permissions gère des règles durables, pas un contournement ponctuel pour un seul démarrage.

Mieux: agy --dangerously-skip-permissions au démarrage (avec prudence)

SOURCES