Ça doit faire au moins 5-6 ans que je n’avais pas installé Flash, là je fais fasse à un cas de fore majeure!
Je croyais devoir adapter les instructions pour faire un dossier plugins dans mon installation sur /opt/firefox. En fait il faut bel et bien mettre le fichier .so dans /usr/lib/mozilla/plugins.
Cependant cette installation est manuelle et les mises-à-jour doivent se faire manuellement. Pour avoir une mise-à- jour automatique, il faut utiliser le dépôt deb-multimedia.org.
- On doit ajouter cette ligne dans /etc/apt/sources.list:
deb http://www.deb-multimedia.org stable main contrib non-free
- Ensuite ajouter la clé OpenPGP qui validera les signatures numériques de ce dépôt:
sudo apt-key adv --keyserver keyring.debian.org --recv-keys 5C808C2B65558117
- Enfin, mettre à jour le dépôt et installer le paquet correspondant:
sudo apt update && sudo apt install flashplayer-mozilla
Pas besoin de redémarrer le navigateur après.
Cette méthode fonctionne tant pour le navigateur d’origine (installé via apt install ou Applications) que pour un navigateur installé en manuel (en téléchargeant le fichier compressé sur firefox.com).