Personnaliser Firefox (expert)
Trucs utiles à modifier dans about:config
.
Plus d'infos sur http://kb.mozillazine.org/About:config_entries.
dom.event.clipboardevents.enabled
⇒ false. Désactive le fait que certains sites empêchent le copier/collerextensions.pocket.enabled
⇒ false. Désactive pocket.network.trr.mode
⇒ désactivation du DNS de firefox, car ce dernier passe par cloudflare. Info ici. Valeur à 5 :- 0: désactivé par défaut
- 1: firefox choisi le mode le plus rapide
- 3: utilisation de DNS par HTTPS uniquement
- 5: désactivation explicite du DNS par HTTPS
editor.resizing.enabled_by_default
: à changer pour permettre de redimensionner les images à la main (comme dans le plugin TinyEditor de Pluxml). Éviter de modifier si y'a pas besoin.
Chercher les occurrences de “cloudflare” dans about:config et nettoyer.
À noter qu'il est possible de configurer un fichier user.js
dans son profil, afin de garder en mémoire et de forcer un certain nombre de paramètres. Pour savoir “quoi”, le projet Ghacks et son visualisateur Arkenfox-gui permettent de se faire un truc aux petits oignons.
Hacker le thème de Firefox
- https://github.com/MrOtherGuy/firefox-csshacks : suivre les instructions. Juste une suite de modif sur userChrome.css mais les scripts déjà renseignés aident bien.
Ma version actuelle :
- userChrome.css
/* Onglets améliorés */ .tab-content { margin: 0 !important; } .tab-background{ outline: none !important; border: none !important; box-shadow: none !important; background-clip: padding-box; margin-bottom: 0 !important; padding: 0 !important; background-color: rgba(0, 0, 0, .3); border-radius: 1em 1em 0 0 !important; } .tab-background[selected]{ border-radius: 1em 1em 0 0 !important; } .tab-background[selected] > .tab-context-line { margin-top: -3px !important; } /* Marque-page de la barre de favoris : juste des icones, sauf au survol. */ #personal-bookmarks .bookmark-item > .toolbarbutton-text { display: none !important; /* Cache le texte */ } #personal-bookmarks .bookmark-item:hover > .toolbarbutton-text { display: inline !important; /* Affiche le texte au survol */ margin-left: 5px; /* Ajoute un petit espace entre l'icône et le texte */ vertical-align: middle !important; /* Aligne verticalement le texte avec l'icône */ } #personal-bookmarks .bookmark-item > .toolbarbutton-icon { vertical-align: middle !important; /* Aligne verticalement l'icône avec le texte */ } /* Ajuste globalement la hauteur des éléments pour éviter les sauts */ #personal-bookmarks .bookmark-item { line-height: 1.6 !important; /* Augmente la hauteur de ligne */ height: 32px !important; /* Assure une hauteur fixe pour éviter les sauts */ } /* Ordre des barres */ /* l'ensemble de la boite */ #navigator-toolbox{ } /* Menu + Tab Bar */ #titlebar { order: 3; } /* Adresse */ #nav-bar { order: 1; } /* Favoris */ #PersonalToolbar { order: 2; } /* Icones personnalisées, enfin presque */ #personal-bookmarks .bookmark-item:nth-child(2 of [container="true"])::before { content: "☀️ "; margin-right: 5px; } #personal-bookmarks .bookmark-item:nth-child(3 of [container="true"])::before { content: "🤖 "; margin-right: 5px; }
Pour voir les changements sans trop râler à chaque redémarrage : ouvrir about:profiles
, créer un nouveau profil, puis “lancer le profil dans un nouveau navigateur”. Ça permet une 2e instance de Firefox avec moins de bazar.
Modifier l'explorateur de fichiers par défaut
En fait c'est probablement un souci générique plus que propre à Firefox.
En résumé :
xdg-mime query default inode/directory xdg-mime default thunar.desktop inode/directory application xdg-mime query default inode/directory