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).

  1. Accédez à la salle de TP virtuelle

  2. Ouvrez un terminal

  3. Pour télécharger ou mettre à jour un TP ou un projet (ici pour le Semaine 1):

    ~/ProgImperative/course.py fetch Semaine1
    
  4. Consultez et travaillez sur les fichiers dans ~/ProgImperative/Semaine1

  5. 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.

  1. Accédez à la salle de TP virtuelle via ce lien: Binder

  2. Procéder ensuite comme au 2. ci-dessus.

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
  1. Téléchargez la «salle de TP virtuelle»:

    git clone https://gitlab.dsi.universite-paris-saclay.fr/Info111/ComputerLab.git ~/ProgImperative
    
  2. 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
    
  3. Procédez ensuite comme sur JupyterHub ci-dessus à partir du 3.

Avec pip#

  1. Téléchargez la «salle de TP virtuelle»:

    git clone https://gitlab.dsi.universite-paris-saclay.fr/Info111/ComputerLab.git ~/ProgImperative
    
  2. 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'
    
  3. 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