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 -O setup-iutinfo
chmod +x setup-iutinfo
./setup-iutinfoLe 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.