Présentation
Les plug-ins sont des packages qui étendent les fonctionnalités de Copilot pour CLI. Vous pouvez installer un plug-in à partir d'un marketplace que vous avez enregistré auprès de la CLI.
Pour plus d’informations, consultez « À propos des plug-ins pour CLI GitHub Copilot��».
Remarque
Vous trouverez de l’aide sur l’utilisation de plug-ins en entrant copilot plugin [SUBCOMMAND] --help dans le terminal.
Recherche de plug-ins
Les plug-ins sont collectés ensemble dans les places de marché. Une Place de marché est un registre de plug-ins à partir duquel vous pouvez parcourir et installer. Vous pouvez ajouter une place de marché à votre configuration CLI, ce qui vous permet d’utiliser l’interface CLI pour parcourir et installer des plug-ins à partir de cette Place de marché, voir Ajout de places de marché de plug-ins.
Copilot est fourni avec deux places de marché déjà inscrites par défaut : copilot-plugins et awesome-copilot.
Pour utiliser l’interface CLI pour parcourir les plug-ins dans l’une de vos places de marché inscrites :
-
**Vérifiez les places de marché actuellement inscrites.**Dans le terminal, répertoriez les places de marché disponibles en saisissant :
Shell copilot plugin marketplace list
copilot plugin marketplace listDans une session interactive, entrez plutôt :
Copilot prompt /plugin marketplace list
/plugin marketplace list -
**Parcourez les plug-ins dans une place de marché inscrite.**Dans la liste des places de marché inscrites, copiez le nom de la Place de marché que vous souhaitez parcourir, par exemple,
awesome-copilotpuis entrez la commande suivante, enMARKETPLACE-NAMEremplaçant :Shell copilot plugin marketplace browse MARKETPLACE-NAME
copilot plugin marketplace browse MARKETPLACE-NAME
Installation de plug-ins
Vous pouvez installer des plug-ins à partir d’une place de marché inscrite. Pour plus d’informations sur l’inscription de places de marché supplémentaires, consultez Ajout de places de marché de plug-in.
Pour installer un plug-in, entrez :
copilot plugin install PLUGIN-NAME@MARKETPLACE-NAME
copilot plugin install PLUGIN-NAME@MARKETPLACE-NAME
Par exemple, pour installer le database-data-management plug-in à partir de la awesome-copilot Place de marché, entrez :
copilot plugin install database-data-management@awesome-copilot
copilot plugin install database-data-management@awesome-copilot
Dans une session interactive, entrez plutôt :
/plugin install PLUGIN-NAME@MARKETPLACE-NAME
/plugin install PLUGIN-NAME@MARKETPLACE-NAME
Gestion des plug-ins installés
copilot plugin list # View installed plugins
copilot plugin update PLUGIN-NAME # Update plugin to latest version
copilot plugin uninstall PLUGIN-NAME # Remove plugin completely
Ajout de boutiques de plugins
Pour ajouter une place de marché à la liste des places de marché inscrites, entrez la commande suivante dans le terminal :
copilot plugin marketplace add OWNER/REPO
copilot plugin marketplace add OWNER/REPO
Où OWNER/REPO identifie un référentiel sur GitHub.com qui a été configuré en tant que marché de plug-ins CLI.
Par exemple, pour ajouter la claude-code-plugins Place de marché, hébergée à https://github.com/anthropics/claude-code, entrez :
copilot plugin marketplace add anthropics/claude-code
copilot plugin marketplace add anthropics/claude-code
Dans une session interactive, entrez plutôt :
/plugin marketplace add OWNER/REPO
/plugin marketplace add OWNER/REPO
Si une place de marché se trouve sur le système de fichiers local, au lieu d’être sur GitHub.com, utilisez le chemin d’accès au répertoire de la place de marché au lieu de OWNER/REPO. Par exemple:
copilot plugin marketplace add /PATH/TO/MARKETPLACE-DIRECTORY
copilot plugin marketplace add /PATH/TO/MARKETPLACE-DIRECTORY
Si un marketplace se trouve dans un référentiel Git qui n'est pas hébergé sur GitHub.com, utilisez l'URL du référentiel Git. Par exemple:
copilot plugin marketplace add https://gitlab.com/OWNER/REPO.git
copilot plugin marketplace add https://gitlab.com/OWNER/REPO.git
Suppression des places de marché de plug-in
Pour supprimer une place de marché de l’interface CLI, entrez :
copilot plugin marketplace remove MARKETPLACE-NAME
copilot plugin marketplace remove MARKETPLACE-NAME
Ou, dans une session interactive :
/plugin marketplace remove MARKETPLACE-NAME
/plugin marketplace remove MARKETPLACE-NAME
Remarque
- Lors de l’ajout d’un marketplace, vous le référencez à l’aide de l’OWNER/REPO du GitHub repository qui a été configuré en tant que marketplace. Toutefois, lors de la suppression d’une place de marché, vous référencez le nom de la Place de marché tel qu’il apparaît dans votre liste de places de marché inscrites.
- Si vous tentez de supprimer un marketplace sur lequel les plug-ins sont installés, la commande échoue avec un message d’erreur qui répertorie les plug-ins actuellement installés à partir de cette Place de marché. Ajoutez l’option
--forceà la commande pour supprimer la Place de marché et désinstaller tous les plug-ins installés à partir de cette Place de marché.