Je pense, puisque tu ne le précise pas, que tu n'a qu'un profil et que tu utilise celui par défaut. Firefox permet d'avoir plusieurs profils. Ils permettent d'isoler différentes utilisations (par ex. pro et loisirs), en ayant chacun leurs extensions, marques pages, historique, configuration. C'est très pratique. Pour pouvoir créer, lancer ou effacer un profil, il faut lancer firefox avec l'option --ProfileManager de cette façon : firefox --ProfileManager. Firefox créera des dossiers dans /home/ton_user/.mozilla/firefox/xxxxxxxx.nom_du_profil, avec xxxxxxxx une chaîne aléatoire (ex. m9ad0hks.default)
De là tu peux commencer par :
sauvegarder tes marques pages (dans Firefox menu Marque-Pages > Afficher tous les marques-Pages et dans la nouvelle fenêtre il y a un menu pour savegarder)
supprimer ou renommer le fichier `/home/ton_user/.mozilla/firefox/xxxxxxxx.default, Firefox le recréera au prochain lancement. Tu pourra ensuite importer tes marques pages. Tu peux le faire avec ton gestionnaire de fichier, mais il faudra afficher les fichiers caché (ctrl+h souvent).
lancer Firefox en console avec l'option --ProfileManager avec la commande firefox --ProfileManager. Tu pourra ensuite créer un nouveau profil où tu pourra importer tes marques pages.
Il faudra ensuite réinstaller tes extensions favorites.
« Il vaut mieux mobiliser son intelligence sur des conneries que mobiliser sa connerie sur des choses intelligentes. »
# Changer ou nettoyer le profil.
Posté par deuzene (site web personnel) . En réponse au message Plus moyen d'aller sur la page "modules complémentaires" de firefox. Évalué à 1.
Je pense, puisque tu ne le précise pas, que tu n'a qu'un profil et que tu utilise celui par défaut. Firefox permet d'avoir plusieurs profils. Ils permettent d'isoler différentes utilisations (par ex. pro et loisirs), en ayant chacun leurs extensions, marques pages, historique, configuration. C'est très pratique. Pour pouvoir créer, lancer ou effacer un profil, il faut lancer firefox avec l'option
--ProfileManagerde cette façon :firefox --ProfileManager. Firefox créera des dossiers dans/home/ton_user/.mozilla/firefox/xxxxxxxx.nom_du_profil, avec xxxxxxxx une chaîne aléatoire (ex. m9ad0hks.default)De là tu peux commencer par :
/home/ton_user/.mozilla/firefox/xxxxxxxx.default, Firefox le recréera au prochain lancement. Tu pourra ensuite importer tes marques pages. Tu peux le faire avec ton gestionnaire de fichier, mais il faudra afficher les fichiers caché (ctrl+h souvent).--ProfileManageravec la commandefirefox --ProfileManager. Tu pourra ensuite créer un nouveau profil où tu pourra importer tes marques pages.Il faudra ensuite réinstaller tes extensions favorites.
« Il vaut mieux mobiliser son intelligence sur des conneries que mobiliser sa connerie sur des choses intelligentes. »