À propos de GitHub Codespaces
GitHub Codespaces est un environnement de développement instantané et basé sur le cloud qui fournit dans un conteneur les langages, les outils et les utilitaires courants dont vous avez besoin pour développer. De plus, GitHub Codespaces est configurable, ce qui vous permet de créer un environnement de développement personnalisé et identique pour tous les utilisateurs de votre projet. Pour plus d’informations, consultez « Vue d’ensemble de GitHub Codespaces ».
Quand GitHub Codespaces est activé dans une organisation ou une entreprise, les utilisateurs peuvent créer un codespace (espace de code) à partir de n’importe quelle branche ou de n’importe quel commit dans un dépôt de l’organisation ou de l’entreprise, et commencer à développer avec les ressources de calcul cloud. Vous pouvez vous connecter à un codespace à partir du navigateur ou localement à l’aide de Visual Studio Code.
Pour bien commencer avec l’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 des GitHub Codespaces, consultez « Présentation approfondie de GitHub Codespaces ».
Configurer GitHub Codespaces comme éditeur par défaut pour un devoir dans les devoirs GitHub Classroom est une pratique recommandée 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. En effet, les codespaces étant tous basés sur le cloud, ils ne nécessitent aucune configuration locale. Les étudiants peuvent lancer un codespace pour un référentiel de devoirs dans Visual Studio Code directement dans leur navigateur et commencer ainsi à développer immédiatement sans avoir besoin d’une configuration supplémentaire.
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. Pour plus d’informations, 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 « À propos de la facturation pour GitHub Codespaces ».
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 Education pour les enseignants vérifiés
L’avantage Codespaces Education offre aux enseignants vérifiés une allocation mensuelle gratuite d’heures GitHub Codespaces à 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 Education est en version bêta publique et peut être amené à changer. Durant la version bêta, 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. Pour plus d’informations, consultez « Demander à rejoindre GitHub Global Campus en tant qu’enseignant ».
Une fois que vous avez reçu la confirmation que vous êtes enseignant vérifié, consultez le GitHub Global Campus pour les enseignants afin de passer l’organisation à GitHub Team. Pour plus d’informations, consultez Produits de GitHub.
Si vous pouvez bénéficier de l’avantage Codespaces Education, lorsque vous activez GitHub Codespaces dans GitHub Classroom pour votre organisation, GitHub ajoute automatiquement une stratégie Codespace qui restreint les types de machines à 2 machines principales pour tous les codespaces dans l’organisation. Cela vous aide à tirer le meilleur parti de l’utilisation gratuite de GitHub Codespaces. Toutefois, vous pouvez modifier ou supprimer ces stratégies dans les paramètres de votre organisation. Pour plus d’informations, consultez « Restriction de l’accès aux types de machines ».
Lorsque l’avantage Codespaces Education n’est plus en version bêta, si votre organisation dépasse son allocation gratuite pour l’utilisation de GitHub Codespaces, l’utilisation supplémentaire lui est facturée. Pour plus d’informations, consultez « À propos de la facturation pour GitHub Codespaces ».
Activation de Codespaces pour votre organisation
GitHub Codespaces peut être utilisé avec GitHub Classroom dans les organisations qui utilisent GitHub Team. Si vous pouvez bénéficier de l’avantage Codespaces Education, vous devez activer GitHub Codespaces via GitHub Classroom, au lieu de l’activer directement dans les paramètres de votre organisation. Sinon, votre organisation sera facturée directement pour toute 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 qui peuvent bénéficier de l’avantage GitHub Codespaces ont une note mentionnant leur éligibilité. Vous pouvez éventuellement créer une organisation. Pour plus d’informations, consultez « Création d’une organisation à partir de zéro ».
- Dans la page « Nommer votre classe », sous « Codespaces dans votre classe », cliquez sur Activer. Notez que cette action active GitHub Codespaces pour tous les dépôts et utilisateurs dans 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. Cette action active GitHub Codespaces pour tous les dépôts et utilisateurs dans l’organisation. Une nouvelle stratégie Codespaces est également ajoutée pour restreindre les types de machine à deux machines principales pour tous les codespaces dans l’organisation.
Vous pouvez également utiliser les mêmes méthodes que celles ci-dessus pour désactiver GitHub Codespaces dans votre organisation. Notez que cette action désactive GitHub Codespaces pour tous les dépôts et utilisateurs dans l’organisation.
Configuration d’un devoir pour utiliser Codespaces
Pour que les étudiants puissent utiliser GitHub Codespaces pour un devoir, vous pouvez choisir GitHub Codespaces comme éditeur pris en charge pour le devoir. Lorsque vous créez un devoir, 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 utilise une configuration par défaut, qui contient la majeure partie des outils courants dont vos étudiants peuvent avoir besoin pour développer. 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’un devoir avec 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 codespace nouveau ou existant en cliquant sur le bouton Ouvrir dans GitHub Codespace dans le fichier README, ou en cliquant sur le bouton Code dans la page principale du dépôt de devoirs, puis en sélectionnant l’onglet Codespaces. Sous l’onglet Codespaces, vous pouvez sélectionner un codespace existant ou en créer un. Pour plus d’informations, 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 commiter les modifications et les pousser (push) 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 ».