Recherche et installation de plug-ins pour GitHub Copilot CLI

Étendez Copilot en installant des plug-ins créés par la communauté ou votre organisation.

Dans cet article

Les plug-ins sont des packages qui étendent les fonctionnalités de Copilot CLI. Vous pouvez installer un plug-in à partir d'un marketplace que vous avez enregistré auprès de la CLI.

Pour obtenir une vue d’ensemble, consultez Plug-ins pour GitHub Copilot.

Remarque

Vous trouverez de l’aide sur l’utilisation de plug-ins en entrant copilot plugin [SUBCOMMAND] --help dans le terminal.

Rechercher des plug-ins

Les plug-ins sont regroupés dans des marketplaces. Une Place de marché est un registre de plug-ins que vous pouvez parcourir et installer. Copilot CLI inclut la place de marché awesome-copilot par défaut.

Pour afficher la liste des marketplaces enregistrées, entrez :

Shell
copilot plugin marketplace list

Dans une session interactive, entrez :

Copilot prompt
/plugin marketplace list

Pour parcourir les plug-ins dans un marketplace enregistré, entrez :

Shell
copilot plugin marketplace browse MARKETPLACE-NAME

Remplacez MARKETPLACE-NAME par le nom de la Place de marché.

Dans une session interactive, entrez :

Copilot prompt
/plugin marketplace browse MARKETPLACE-NAME

Installez des extensions

Pour installer un plug-in à partir d’un marketplace enregistré, entrez :

Shell
copilot plugin install PLUGIN-NAME@MARKETPLACE-NAME

Par exemple, pour effectuer l’installation database-data-management à partir de awesome-copilot, entrez :

Shell
copilot plugin install database-data-management@awesome-copilot

Dans une session interactive, entrez :

Copilot prompt
/plugin install PLUGIN-NAME@MARKETPLACE-NAME

Vous pouvez également installer un plug-in à partir d’un GitHub référentiel, d’une URL Git, d’un sous-répertoire de référentiel ou d’un chemin d’accès local. Pour connaître les formats acceptés, consultez la spécification du plug-in pour la commande install.

Gérer les plug-ins installés

Utilisez ces commandes pour gérer les plug-ins installés :

Shell
copilot plugin list
copilot plugin update PLUGIN-NAME
copilot plugin uninstall PLUGIN-NAME
copilot plugin disable PLUGIN-NAME
copilot plugin enable PLUGIN-NAME

disable désactive un plug-in sans le désinstaller. uninstall le supprime. Pour toutes les commandes et options, consultez Référence du plug-in CLI GitHub Copilot.

Ajouter une place de marché

Pour inscrire une place de marché hébergée dans un dépôt GitHub, entrez :

Shell
copilot plugin marketplace add OWNER/REPOSITORY

Remplacez OWNER/REPOSITORY par le dépôt qui héberge la Place de marché. Par exemple:

Shell
copilot plugin marketplace add anthropics/claude-code

Dans une session interactive, entrez :

Copilot prompt
/plugin marketplace add OWNER/REPOSITORY

Vous pouvez également ajouter une place de marché à partir d’un répertoire local ou à partir d’un dépôt Git hébergé ailleurs. Utilisez le chemin d’accès au répertoire de la Place de marché pour une source locale :

Shell
copilot plugin marketplace add /PATH/TO/MARKETPLACE-DIRECTORY

Pour un dépôt Git hébergé ailleurs, utilisez son URL Git :

Shell
copilot plugin marketplace add https://gitlab.com/OWNER/REPO.git

Pour obtenir des conseils sur la publication d’une place de marché hébergée sur GitHub, consultez Création et partage d’une place de marché de plug-in sur GitHub.

Supprimer une place de marché

Pour désenregistrer une place de marché, entrez :

Shell
copilot plugin marketplace remove MARKETPLACE-NAME

Dans une session interactive, entrez :

Copilot prompt
/plugin marketplace remove MARKETPLACE-NAME

Lors de l’ajout d’une place de marché, vous l’identifiez par sa source. Lorsque vous la supprimez, utilisez le nom de la Place de marché affiché dans la liste de la Place de marché. La commande échoue si les plug-ins du Marketplace sont toujours installés. Ajoutez-y --force également pour désinstaller ces plug-ins.

Désactiver la valeur par défaut d’un référentiel

Les valeurs par défaut du dépôt sont facultatives. Pour désactiver un plug-in activé par les paramètres du dépôt, ajoutez une entrée false dans enabledPlugins de .github/copilot/settings.local.json:

JSON
{
  "enabledPlugins": {
    "PLUGIN-NAME@MARKETPLACE-NAME": false
  }
}

Remplacez l’identificateur par le nom du plug-in et le nom de la Place de marché. Enregistrez le fichier et démarrez une nouvelle session. Pour réactiver le plug-in, définissez l’entrée sur true.

Ne validez pas ce fichier de paramètres locaux. Les paramètres managés d’entreprise sont prioritaires sur les paramètres par défaut du référentiel et les remplacements locaux. Pour plus d’informations, consultez GitHub Copilot le répertoire de configuration du CLI.

Lectures complémentaires