À propos de GitHub Codespaces
GitHub Codespaces est un environnement de développement instantané basé sur le cloud qui utilise un conteneur pour vous fournir des langages courants, des outils et des utilitaires pour le développement. GitHub Codespaces est également configurable, ce qui vous permet de créer un environnement de développement personnalisé identique pour tous les utilisateurs de votre projet. Consultez Démarrage rapide pour GitHub Codespaces.
Une fois GitHub Codespaces activé au sein d’une organisation ou d’une entreprise, les utilisateurs peuvent créer un codespace à partir de n’importe quelle branche ou de n’importe quel commit dans un dépôt d’une organisation ou d’une entreprise et commencer à développer à l’aide de ressources de calcul dans le cloud. Vous pouvez vous connecter à un codespace depuis le navigateur ou localement à l’aide de Visual Studio Code.
Pour bien commencer avec GitHub Codespaces, consultez Démarrage rapide pour GitHub Codespaces. Pour plus d’informations sur la création d’un codespace, consultez Création d’un codespace pour un dépôt ou Création d’un codespace à partir d’un modèle. Si vous souhaitez revenir à un codespace que vous avez déjà créé, consultez Ouverture d’un codespace existant. Pour en savoir plus sur le fonctionnement de GitHub Codespaces, consultez Présentation approfondie de GitHub Codespaces.
La définition GitHub Codespaces en tant qu’éditeur préféré pour un devoir dans GitHub devoirs de classe est bénéfique pour les étudiants et les enseignants. GitHub Codespaces est une bonne option pour les étudiants qui utilisent des appareils prêtés ou sans accès à une configuration d’IDE locale, car chaque espace de code est basé sur le cloud et ne nécessite aucune configuration locale. Les étudiants peuvent lancer un espace de code pour un référentiel d’affectation directement Visual Studio Code dans leur navigateur, et commencer à développer immédiatement sans avoir besoin d’une autre configuration.
Pour les devoirs avec des environnements d’installation complexes, les enseignants peuvent personnaliser la configuration des conteneurs de développement pour les codespaces d’un dépôt. De cette manière, quand un étudiant crée un codespace, celui-ci s’ouvre toujours automatiquement avec l’environnement de développement qui a été configuré par l’enseignant. Pour plus d’informations sur les conteneurs de développement, consultez Présentation des conteneurs de développement.
Remarque
Les espaces de code individuels sont automatiquement supprimés s’ils sont arrêtés et laissés inutilisés pendant une période prolongée. Consultez Configuration de la suppression automatique de vos espaces de code.
Les étudiants vérifiés bénéficient d’une utilisation gratuite de GitHub Codespaces à hauteur de 180 heures par mois, pour leurs comptes personnels. La quantité mensuelle de stockage et d’heures de base disponible pour les étudiants est équivalente à la quantité comprise dans les comptes GitHub Pro. Pour plus d’informations, consultez « facturation des Codespaces GitHub ».
Remarque
Si les étudiants utilisent GitHub Codespaces dans leurs dépôts de devoirs pour GitHub Classroom, l’utilisation est facturée à l’organisation propriétaire de la salle de classe et n’affecte pas l’utilisation de leurs comptes personnels.
À propos de l’avantage Codespaces Éducation pour les enseignants vérifiés
L’avantage Éducation Codespaces offre aux enseignants vérifiés un quota mensuel gratuit de GitHub Codespaces heures à utiliser dans GitHub Classroom. On estime que l’allocation gratuite est suffisante pour une classe de 50 étudiants avec 5 devoirs par mois, sur un ordinateur à deux cœurs avec un (1) codespace stocké par étudiant.
Remarque
L’avantage Codespaces Éducation est actuellement disponible dans préversion publique et soumis à modification. Durant la préversion publique, votre organisation n’est pas facturée si vous dépassez le quota gratuit.
Pour devenir enseignant vérifié, vous devez être approuvé pour bénéficier d’un avantage enseignant ou formateur. Consultez Rejoindre GitHub Education en tant qu’enseignant.
Une fois que vous avez reçu la confirmation que vous êtes un enseignant vérifié, rendez-vous sur la page GitHub EducationPour les enseignants pour passer l’organisation à GitHub Team. Voir Produits de GitHub.
Si vous pouvez bénéficier de l’offre Codespaces Éducation, lorsque vous activez GitHub Codespaces dans GitHub Classroom pour votre organisation, GitHub ajoute automatiquement une stratégie Codespaces pour limiter les types de machines de tous les Codespaces de l’organisation à des machines à 2 cœurs. Cela vous aide à tirer le meilleur parti de l’utilisation gratuite GitHub Codespaces . Toutefois, vous pouvez modifier ou supprimer ces stratégies dans les paramètres de votre organisation. Consultez Restriction de l’accès aux types de machines.
Lorsque le programme Éducation Codespaces n’est plus inclus dans préversion publique, si votre organisation dépasse son quota gratuit d’utilisation de GitHub Codespaces, elle sera facturée pour toute utilisation supplémentaire. Consultez facturation des Codespaces GitHub.
Activer Codespaces pour votre organisation
GitHub Codespaces peut être utilisé avec GitHub Classroom pour les organisations qui utilisent GitHub Team. Si vous pouvez bénéficier de l’avantage Codespaces Éducation, vous devez l’activer GitHub Codespaces via GitHub Classroom, au lieu de l’activer directement dans les paramètres de l’organisation. Sinon, votre organisation sera facturée directement pour toute l’utilisation de GitHub Codespaces.
Activation de Codespaces pour une organisation lors de la création d’une classe
- Connectez-vous à GitHub Classroom.
- À droite de la page, cliquez sur Nouvelle classe.
- Dans la liste des organisations, cliquez sur celle que vous voulez utiliser pour votre classe. Les organisations éligibles GitHub Codespaces auront une note indiquant qu’elles sont éligibles. Vous pouvez éventuellement créer une autre organisation. Consultez Création d’une organisation à partir de zéro.
- Dans la page « Nommer votre salle de classe », sous «Codespaces dans votre salle de classe », cliquez sur Activer. Notez que cela activera GitHub Codespaces pour tous les dépôts et tous les utilisateurs de l’organisation.
- Lorsque vous êtes prêt à créer la classe, cliquez sur Créer la classe.
Activation de Codespaces pour une organisation via une classe existante
-
Connectez-vous à GitHub Classroom.
-
Dans la liste des classes, cliquez sur la classe que vous souhaitez afficher.
-
Sous le nom de la classe, cliquez sur Paramètres.
-
Sous « GitHub Codespaces », cliquez sur Activer. Cela activera GitHub Codespaces pour tous les dépôts et tous les utilisateurs de l’organisation. Une nouvelle politique Codespaces est également ajoutée pour restreindre les types de machine à des machines à 2 coeurs pour l'ensemble des codespaces dans l'Organisation.
Vous pouvez également utiliser les mêmes méthodes que ci-dessus pour désactiver GitHub Codespaces pour votre organisation. Notez que cela désactivera GitHub Codespaces pour tous les utilisateurs et tous les dépôts de l’organisation.
Configuration d’une attribution pour utiliser Codespaces
Pour mettre GitHub Codespaces à la disposition des étudiants pour un devoir, vous pouvez choisir GitHub Codespaces comme éditeur pris en charge pour le devoir. Lorsque vous créez une attribution, dans la page « Ajouter votre code de démarrage et choisissez votre IDE en ligne facultatif », sous « Ajouter un éditeur pris en charge », sélectionnez GitHub Codespaces dans le menu déroulant.
Si vous utilisez un dépôt de modèles pour un devoir, vous pouvez définir un conteneur de développement dans le dépôt afin de personnaliser les outils et les runtimes fournis aux étudiants qui lancent un codespace pour travailler sur le devoir. Si vous ne définissez pas de conteneur de développement, GitHub Codespaces utilisez une configuration par défaut, qui contient un grand nombre des outils courants dont vos étudiants auront peut-être besoin pour le développement. Pour plus d’informations sur la définition d’un conteneur de développement, consultez Ajout d’une configuration de conteneur de développement à votre dépôt.
Lancement d’une tâche à l’aide de GitHub Codespaces
Lorsqu’un étudiant ouvre un devoir, le fichier README du dépôt inclut la recommandation de l’enseignant concernant l’IDE à utiliser pour le travail.
Les étudiants peuvent lancer un espace de code nouveau ou existant en cliquant sur le bouton Ouvrir dans GitHub Espace de code dans le fichier README, ou en cliquant sur le bouton Code sur la page principale du référentiel d’affectation, puis en sélectionnant l’onglet Espaces de code. Sous l’onglet Codespaces, vous pouvez sélectionner un espace de code existant ou en créer un nouveau. Consultez Création d’un codespace pour un dépôt.
Les enseignants peuvent voir le codespace de chaque étudiant pour un devoir dans la page de vue d’ensemble des devoirs. Vous pouvez cliquer sur l’icône Codespaces sur le côté droit de chaque ligne d’étudiant pour lancer le codespace.
Lorsque vous vous connectez à un codespace via un navigateur, l’enregistrement automatique est automatiquement activé. Si vous souhaitez enregistrer les modifications dans le dépôt, vous devez valider les modifications et les envoyer vers une branche distante. Si vous laissez votre codespace s’exécuter sans aucune interaction pendant 30 minutes (durée par défaut), le codespace expire et s’arrête. Vos données sont conservées depuis le dernier enregistrement de vos modifications. Pour plus d’informations sur le cycle de vie d’un codespace, consultez Présentation du cycle de vie des codespaces.