24 août 2020

Firefox

Notes concernant les profils de Firefox et userChrome.css.

Utilisation de Stylus pour corriger le "nouveau" style de Wikipedia.

Introduction

Pour accéder à la page d'information de dépannage :

Ctrl-L about:support.

On y trouve entre autres le répertoire du profil en cours.

Fichiers à copier dans un nouveau profil

Source

Historique, marque-pages

Le fichier places.sqlite contient les marque-pages, la liste des téléchargements, et les sites visités.

En complément le dossier bookmarkbackup est une sauvegarde des marque-pages, pour une éventuelle restauration.

Enfin fiveicons.sqlite conserve les icônes des sites.

Identifications et mots de passe enregistrés

Ils sont stockés dans logins.json et keyb4.db.

Préférences des sites

Les permissions accordées à certains sites et les préférences sont dans les fichiers permissions.sqlite et content-prefs.sqlite.

Résumé

Les fichiers à recopier d'un ancien profil à un nouveau sont :

et éventuellement

Menu marque-pages

De mon point de vue le menu des marque-pages contient des rubriques inutiles et des items nuisibles.

Pour une utilisation simple et rapide au clavier, je me débarrasse de ces nuisances en créant une feuille css nommée userChrome.css placée dans le dossier chrome du profil.

Remarque importante

Depuis la version 69, les fichiers userChrome.css et userContent.css ne sont plus lus par défaut. Il faut désormais mettre la variable toolkit.legacyUserProfileCustomizations.stylesheets à true en passant par about:config.

Fichier userChrome.css

Il n'est pas parfait car il contient sans doute des redondances.

@namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul"); /* only needed once */
 
.openintabs-menuseparator,
.openintabs-menuitem {
display: none !important;
}
 
#menu_bookmarkThisPage,
#menu_bookmarkAllTabs
{
	display: none !important;
}
 
#identity-box.verifiedIdentity #identity-icon-labels {
  display: none !important;
}
 
#identity-box #identity-icon-labels {display:none}
#pageActionButton 
{
  display: none !important;
}
 
.urlbar-history-dropmarker, 
#urlbar:hover > .urlbar-textbox-container > .urlbar-history-dropmarker {
  display: none !important;
}
 
menuitem[label="Open All in Tabs"],
menuitem[label="Unsorted Bookmarks"],
menuitem[label="Bookmark This Page"],
menuitem[label="Tout ouvrir dans des onglets"]
{
	display: none !important;
}
 
[label="Other Bookmarks"], 
[label="Bookmarks Toolbar"],
[label="Autres marque-pages"], 
[label="Barre personnelle"]
{
	display: none !important;
}

Le cas de Wikipedia

En ce moment (août 2020, ou début septembre) les développeurs de Wikipédia bricolent le css de leurs pages. Et ce n'est pas toujours une réussite.

Par exemple il ont fixé la largeur minimale de la boite principale (.mw-page-container) à une valeur excessive de 59.125em;

Ce qui a pour effet qu'on a le choix soit faire glisser les lignes de droite et de gauche, soit ouvrir firefox en plein écran. Ça NON, je snobe les sites qui imposent leurs goûts de chiottes.

Pour l'instant la solution que j'ai trouvée a consisté à installer l'extension Stylus et ajouter une règle de style pour wikipedia.org :

.skin-vector-max-width .mw-page-container{
   min-width: 100%;
}

Réalisé avec Qlam - LGPL