Pour mettre à jour votre environnement il faut :
connecter votre machine à l’Internet
exécuter les commandes suivantes dans un terminal :
su -
wget https://env.iutinfo.fr/setup-iutinfo
source setup-iutinfo
Le script setup-iutinfo (qui utilise les autres scripts iutinfo-root et iutinfo-user) est mis à jour de temps en temps. Une annonce est faite sur la place publique de Mattermost à chaque fois.
Il est recommandé d’exécuter cette procédure en fin de chaque semaine.