Le catalogue
GitHub Copilot CLI
L’agent de terminal de Copilot posé par mise, même contexte machine et mêmes skills, sur votre abonnement Copilot.
- Module
- ai.copilot
- Catégorie
- Agents IA
Ce qu’il installe
- Le CLI de GitHub Copilot via mise, qui l’épingle et le met à jour comme un runtime et le place sur le PATH de tous les shells.
- Le contexte machine dans ~/.copilot/copilot-instructions.md et les skills Pupitre dans ~/.copilot/skills et ~/.agents/skills.
Ce qu’il vous demande
Rien. Il s’installe tel quel.
Bon à savoir
Votre propre abonnement Copilot. Sur un serveur, copilot login passe par le code d’appareil : il affiche un code et la page où l’entrer, et l’app fait de cette page un bouton. Un token dans COPILOT_GITHUB_TOKEN, GH_TOKEN ou GITHUB_TOKEN marche aussi. Le CLI n’a pas de commande qui dise qui tient la session : le tableau de bord n’affiche donc aucun compte pour lui. La désinstallation reprend le CLI et le contexte que ce module a écrit ; ~/.copilot, avec vos identifiants et vos sessions, reste.