J’avais installé un mediacenter Kodi sur une très vieille machine, en 2014. L’appareil fonctionne toujours (malgré ses 10 ans d’âge), mais l’OS (basé sur Ubuntu 14.04) ne sera bientôt plus supporté, et je voulais ajouter le chiffrement du filesystem.