Référence des commandes · Antigravity CLI
agy plugin uninstall <name>
Supprime complÚtement un répertoire de plugin, y compris les entrées de registre.
agy plugin uninstall <name> n'est pas, Ă proprement parler, une commande slash de la TUI interactive, mais une sous-commande CLI que tu appelles directement dans le terminal â donc agy plugin uninstall <plugin_name>, et non /plugin uninstall dans la fenĂȘtre de prompt.
Selon la documentation officielle d'Antigravity CLI, la commande retire complÚtement un plugin : elle « purge » le répertoire du package et nettoie les entrées de registre associées. Cela la distingue clairement de agy plugin disable, qui ne fait que suspendre temporairement un plugin sans supprimer ses fichiers. Le reste de la gestion des plugins comprend aussi agy plugin list (affiche les packages actifs avec les composants chargés) et agy plugin install (transfÚre un répertoire de package dans le profil local).
Utilise uninstall quand un plugin doit disparaßtre définitivement. Si tu veux seulement le désactiver temporairement, disable est le choix le plus prudent, car une réactivation ultérieure reste possible sans nouvelle installation.
â QUAND LâUTILISER ?
Supprimer définitivement un plugin qui n'est plus nécessaire
agy plugin uninstall mon-plugin
Faire le ménage avant de remplacer un plugin par une nouvelle version
agy plugin uninstall ancien-plugin, suivi de agy plugin install ./nouveau-plugin
â QUAND ĂVITER ?
Le plugin doit seulement ĂȘtre suspendu temporairement
uninstall supprime entiÚrement le répertoire et les entrées de registre ; une réactivation ultérieure nécessite une nouvelle installation.
Mieux: Utiliser agy plugin disable <name>, qui ne fait que suspendre les outils sans supprimer les fichiers du plugin.
SOURCES
- doc Antigravity CLI : Plugins â antigravity.google