Ceci est une ancienne révision du document !
Table des matières
Ajouter le dépôt Firefox à Debian stable
Source : Install Firefox .deb package for Debian-based distributions (Recommended) (en) (support.mozilla.org)
Cas d'utilisation
Je ne veux rien de fou… Juste disposer de la version courante de Firefox-esr.
Debian ne propose pas de l'installer. En effet, lorsque Mozilla sort une nouvelle version de Firefox-esr, il maintient l'ancienne version pendant un certain temps. Durant cette période, les dépôts officiels de Debian ne proposent que la branche “old” de Firefox-esr Pire, si Mozilla décide d'arrêter la maintenance de sa branche “old”, on se retrouve avec un version non maintenue de Firefox avant que Debian ne réagisse.
Marche à suivre
Clés de signature Mozilla pour les paquetages
$ wget -q https://packages.mozilla.org/apt/repo-signing-key.gpg -O- | sudo tee /etc/apt/keyrings/packages.mozilla.org.asc > /dev/null If you do not have wget installed, you can install it with: sudo apt-get install wget
Récupère les clés de signature gpg de Mozilla et de les installe dans le trousseau de clé d'apt.
gpg -n -q --import --import-options import-show /etc/apt/keyrings/packages.mozilla.org.asc | awk '/pub/{getline; gsub(/^ +| +$/,""); if($0 == "35BAA0B33E9EB396F59CA838C0BA5CE6DC6315A3") print "\nThe key fingerprint matches ("$0").\n"; else print "\nVerification failed: the fingerprint ("$0") does not match the expected one.\n"}'
Vérifie l'empreinte des clés.
Dépôt Mozilla
echo "deb [signed-by=/etc/apt/keyrings/packages.mozilla.org.asc] https://packages.mozilla.org/apt mozilla main" | sudo tee -a /etc/apt/sources.list.d/mozilla.list > /dev/null
Ajoute le dépôt Mozilla pour qu'il soit utilisé par apt.
Prioriser les paquets fournis par Mozilla
echo ' Package: * Pin: origin packages.mozilla.org Pin-Priority: 1000 ' | sudo tee /etc/apt/preferences.d/mozilla
Adapte les règles de priorité afin que les paquetages fournis par le dépôt Mozilla soit prioritaires sur ceux proposés par les dépôts Debian.
Mises à jour
À partir on fait les mises à jour comme on a l'habitude de la faire. Par exemple :
$ sudo apt update $ sudo apt full-upgrade