IMPORTANT We regularly maintain the repositories only for the last LTS. For now, this is for bionic 18.04
First, check the codename of your Ubuntu install :
In the following, we denote MYDISTRIB as the value of DISTRIB_CODENAME within lsb-release.
Edit a file supelec.list as root :
gksudo gedit /etc/apt/sources.list.d/supelec.list
In this supelec.list file, put the following
deb [trusted=yes] http://www.metz.supelec.fr/pub/Supelec/software/ims/ubuntu/MYDISTRIB MYDISTRIB supelec
Fedora (rpm) OUTDATED
Log as root for the following.
In this supelec.repo file, put the following
name="Supelec (metz campus)"