Exercice – Ajouter l’extension GitHub Copilot

  • 10 minutes

Votre objectif est de développer un mini-jeu en Python à l’aide de GitHub Copilot. Vous connaissez un peu GitHub Codespaces et GitHub Copilot ainsi que leur fonctionnement. Dans cet exercice de défi, vous devez installer l’extension GitHub Copilot à l’aide du fichier config dev disponible sous .devcontainer/devcontainer.json.

Spécification

  • GitHub Codespaces identifie les extensions requises à l’aide de leur ID marketplace Visual Studio Code.
  • Visitez l’extension GitHub Copilot sur Visual Studio Marketplace et recherchez l’ID.
  • Analysez le fichier .devcontainer/devcontainer.json et ajoutez l’extension.

En ajoutant l’extension GitHub Copilot à ce fichier, vous vous assurez de son installation dans le conteneur de développement et de sa disponibilité dans le codespace. Chaque fois que la configuration est modifiée, Codespaces affiche une fenêtre contextuelle qui indique qu’une mise à jour a été détectée et qui vous offre la possibilité de régénérer.

Vérifier votre travail

  1. Accédez à vos Codespaces et ouvrez le fichier app.py dans Visual Studio Code.

  2. Commencez à rédiger le commentaire :

    # write 'hello world' to the console

  3. GitHub Copilot doit vous aider à compléter le code. Le résultat doit être semblable au code suivant :

    # write 'hello world' to the console
print('hello world')

  4. Exécutez l’application avec la commande python app.py dans le terminal et vérifiez si le résultat est semblable au message de console suivant :

    hello world

Après la validation des résultats de cet exercice, passez à l’exercice suivant de ce défi.