Salle de TP virtuelle#
Le dépôt ComputerLab définit un environnement virtuel pour travailler sur le matériel pédagogique du Cours «Info 111», L1 Info, Faculté d’Orsay, pour déploiement en salle de TP, sur JupyterHub@Paris-Saclay, Binder, ou sur sa propre machine. Il facilite notamment l’installation de tous les artefacts requis:
logiciels: C++, … (voir le fichier binder/environment.yml)
configuration pour la gestion des devoirs avec travo
Utilisation en ligne#
Serveur JupyterHub@Paris-Saclay#
L’université Paris-Saclay mets à votre disposition un service JupyterHub@Paris-Saclay sur lequel sont installés tous les logiciels requis. Vous pouvez vous identifier avec vos identifiants usuels de l’université (Adonis).
Ouvrez un terminal
Pour télécharger ou mettre à jour un TP ou un projet (ici pour le Semaine 1):
~/ProgImperative/course.py fetch Semaine1
Consultez et travaillez sur les fichiers dans ~/ProgImperative/Semaine1
Pour soumettre votre TP ou projet (ici pour la semaine 1 et un étudiant du groupe MI3):
~/ProgImperative/course.py submit Semaine1 MI3
Serveur de secours (Binder)#
Vous pouvez utiliser cet environnement virtuel en ligne dans une session temporaire.
Utilisation sur votre propre machine#
Si vous souhaitez travailler sur votre machine personnelle, voici des instructions pour installer cet environnement. Elles supposent que vous ayez accès à un terminal avec le système de gestion de version git, et un petit peu de familiarité avec ces derniers. Ces instructions devraient être valide sous toute plateforme supportée par conda-forge et notamment Windows, MacOS, Linux. Elles sont fournies telles quelles, sans support technique. Toute suggestion d’amélioration bienvenue.
Avec conda#
1 Si vous ne l’avez pas déjà, installez le gestionnaire d’environnements conda. Nous recommandons l’utilisation de l’installateur Mambaforge. Voir son guide d’installation.
2 Si vous ne l’avez pas déjà, installez mamba (plus rapide que conda; fourni directement par mambaforge) :
conda install -c conda-forge mamba
Téléchargez la «salle de TP virtuelle»:
git clone https://gitlab.dsi.universite-paris-saclay.fr/Info111/ComputerLab.git ~/ProgImperative
Installez les logiciels requis:
cd ~/ProgImperative/ conda env create ./postBuild
La liste des logiciels, pourra être mise à jour en en cours de semestre. Dans ce cas:
cd ~/ProgImperative/ conda env update
Procédez ensuite comme sur JupyterHub ci-dessus à partir du 3.
Avec pip#
Téléchargez la «salle de TP virtuelle»:
git clone https://gitlab.dsi.universite-paris-saclay.fr/Info111/ComputerLab.git ~/ProgImperative
Assurez vous que vous avez toutes les bibliothèques requises (voir le fichier environment.yml). Notamment, installez travo:
pip install git+https://gitlab.com/travo-cr/travo/#egg=dev'
Procédez ensuite comme sur JupyterHub ci-dessus à partir du 3.
Avec Docker (pas encore disponible)#
Une image docker du cours est fournie dans le Container Registry du projet Gitlab du cours. Voici son identifiant:
gitlab.dsi.universite-paris-saclay.fr:5050/polytechinfo1/computerlab/image:latest
(OUTDATED) Deploying the class infrastructure#
If needed, request the admin to create the root directory for the course; e.g. /public/$course, and to create a link to the wrapper script in the path of the users:
course=info-111
mkdir /public/$course
ln -s /public/$course/bin/wrapper /usr/local/bin/$course
Deploy the directory:
cd /public/$course # or wherever the course infrastructure will be hosted
git init
git remote add origin git@gitlab.u-psud.fr:ProgImperative/ComputerLab.git
git fetch
git checkout -t origin/master
make setup
Updating the software install#
cd binder; info-111 run conda env update