Aller au contenu principal

Pour pouvoir utiliser un environnement de développement en ligne avec Visual Code, OCaml, utop, gcc :

  • S'incrire sur GitHub (Sign Up).
  • Aller sur https://github.com/mpi-lamartin/environnement et cliquer sur le bouton Code puis "Create codespace on main".
  • Vous pouvez retrouver votre codespace en cliquant sur le menu en haut à gauche puis "Codespaces".
  • Les fichiers sont normalement sauvegardés en ligne... Vous pouvez quand même télécharger (dans "fichier") des fichiers importants pour être sûr de ne pas les perdre.
  • Par défaut vous avez le droit à 120h/mois d'utilisation, ce qui devrait être suffisant. Vous pouvez demander un compte étudiant pour avoir 180h/mois : https://github.com/education/students.

Vidéo explicative