Vous n'êtes pas identifié(e).
L'icône rouge permet de télécharger chaque page du wiki visitée au format PDF et la grise au format ODT →
Debian intègre par défaut la version ESR, stable, mais fixée en version 45. Pour profiter de la version ESR-52 de Firefox, il faut utiliser les dépôts tiers Mozilla prévus pour Debian.
Cette procédure demande l'utilisation du Terminal, chaque commande sera détaillée.
echo "deb http://mozilla.debian.net/ jessie-backports firefox-esr" > /etc/apt/sources.list.d/mozilla.list
apt-get update
Un message vous informe qu'il manque un clé publique dans les dépôts renseignés. Cela sera résolu au point suivant.
apt-get install --allow-unauthenticated pkg-mozilla-archive-keyring
apt-get update
apt-get install -t jessie-backports firefox-esr
Une confirmation vous sera demandée.
et voilà, vous retrouvez vos marques-pages et vos préférences, mais sur un navigateur plus récent et à jour .