GitHub education

GitHub Education est une initiative de GitHub qui met gratuitement à disposition des étudiants, enseignants et établissements scolaires des outils professionnels pour l’apprentissage du développement logiciel.

https://education.github.com/

GitHub Education permet d’accéder à :

• GitHub Codespaces : environnement de développement complet dans le cloud.
• GitHub Student Developer Pack : des outils et services gratuits pour les étudiants.
• GitHub Classroom : créer, distribuer et corriger des devoirs de programmation.
• GitHub Global Campus : plateforme centralisée pour les ressources pédagogiques, la communauté et les formations.

Objectif : rendre l’enseignement de l’informatique plus accessible, plus moderne et plus proche des pratiques professionnelles.

Codespaces

GitHub Codespaces est un environnement de développement complet dans le cloud, intégré à GitHub.

GitHub Codespaces permet d’écrire, exécuter et tester du code directement depuis un navigateur Web, sans avoir besoin d’installer quoi que ce soit sur son ordinateur.

astuce

GitHub Codespaces est idéal pour les étudiants et les enseignants, car il permet de se concentrer sur l’apprentissage du code sans se soucier de la configuration de l’environnement de développement.

Il suffit de quelques secondes pour lancer un environnement prêt à l’emploi.

Plusieurs services de base sont automatiquement disponibles pour offrir un environnement de développement complet prêt à l’emploi :

• Éditeur de code intégré (VS Code Web) :
  • Interface complète de Visual Studio Code dans le navigateur.
  • Prise en charge des extensions, de l’autocomplétion, du linting, etc.
  • Navigation dans les fichiers, recherche, terminal intégré.
• Terminal Linux intégré permettant d’exécuter des scripts, des commandes Git, des installations, etc.
• Conteneur de développement (Dev Container). Basé sur Docker, il définit l’environnement logiciel (langages, outils, dépendances). Le fichier devcontainer.json permet de personnaliser :
  • L’image Docker utilisée.
  • Les extensions VS Code à installer.
  • Les scripts à exécuter à l’ouverture.
• Git pré-installé
• Possibilité d’exposer des ports (par exemple pour un serveur web local). GitHub fournit des URLs sécurisées pour tester des applications web dans le navigateur.
• Prise en charge des gestionnaires de paquets (npm, pip, apt, etc.) avec possibilité d’installer automatiquement les dépendances à l’ouverture du Codespace.
• Intégration possible avec GitHub Copilot pour l’autocomplétion intelligente du code (si activé).

GitHub Classroom

GitHub Classroom est un outil qui permet aux enseignants de créer, distribuer et corriger des devoirs de programmation.

info

GitHub Classroom s’intègre parfaitement avec GitHub et GitHub Codespaces pour offrir une expérience d’apprentissage fluide.