L'environnement de travail est configuré pour que ce répertoire soit nommé atelier
et soit situé dans votre répertoire personnel (ie ~/atelier
). L'installer ailleurs nécessite de modifier le script go
en conséquence.
Le script go
lance l'environnement de travail. Il crée un terminal plein écran dans lequel il exécute tmux
et positionne diverses variables d'environnement.
Depuis l'environnement de travail, la commande lire
permet d'accéder aux sujets des TPs :
$ lire tp1/sujet
Pour mettre à jour l'environnement, se placer dans le répertoire atelier
et utiliser la commande git pull
.