Bonjour,
Je suis sous Stretch avec Gnome3 et j’ai téléchargé et décompressé Firefox 57 dans mon home pour l’utiliser à la place de Firefox esr que j’ai désinstallé pour éviter d’éventuels conflits. Tout fonctionne bien mais j’aimerais intégrer Firefox 57 à la barre latérale des favoris et je ne trouve pas comment faire. Auriez-vous une idée?
Salut
il faut créer un lanceur firefox57 ( un fichier de type .desktop) dans ton home dans .local/share/applications puis dans la zone de recherche ( appui sur la touche drapeau windows) écrire firefox57 et en cliquant droit sur le lanceur firefox57 tu pourras l’ajouter aux favoris
Bonjour,
Sinon avec du pinning, tu pourrais récupérer la version depuis les dépôts de Sid, ce qui te permettra de te simplifier les mises à jour.
même pas besoin, du moment que l’updater a les droits sur le dossier, dans ce genre d’installation Firefox se tient à jour lui même
Ça valait le coup que j’intervienne, j’apprends des choses !
Je me coucherais moins bête, merci 
Merci, je n’aurais jamais trouvé tout seul.