Firefox : extensions, configuration et quelques astuces

2020/12/05

Categories: logiciel Tags: firefox web

Introduction

Mozilla Firefox est un navigateur libre développé par la fondation Mozilla. Il utilise le moteur de rendu Gecko, le seul concurrent au moteur de Google Chrome sur le marché des moteurs web modernes.

Malheureusement Firefox perd constamment des parts de marché face aux autres navigateurs. Selon radar.cloudflare.com, Firefox ne représenterait que 6,40% du traffic.

Pourtant Firefox dispose de beaucoup d’atouts pour qui souhaite un navigateur moderne, éthique et respectueux de la vie privée.

Je présente dans cet article les extensions indispensables que j’utilise, deux fonctionnalités de Firefox méconnues mais très pratiques ainsi que certaines options de configuration que j’applique.

Extensions

Confidentialité / Sécurité

Apparence

Productivité

Personnalisation de l’interface

Une des fonctionnalités vraiment unique de Firefox est la possibilité de modifier en profondeur son interface. Cette fonctionnalité est disponible dans le menu Personnaliser… disponible dans le menu des paramètres Firefox ou en faisant un clic droit au niveau de la barre d’onglets.

Parmi les barres constituant l’interface de Firefox, toutes sauf la barre de menu sont modifiables. Concernant leur affichage, il est possible d’afficher ou non la barre de menu et la barre personnelle, les deux autres étant toujours actives.

Les éléments d’interface disponibles peuvent provenir de Firefox ou des extensions installées. Ainsi les icônes de Firefox comme Paramètres, Accueil, Téléchargements ou les icônes des extensions peuvent être placés n’importe où sur les barres citées précédemment. Certains éléments comme les onglets, la barre d’URL ou les boutons de navigation ne peuvent pas être supprimés mais peuvent être bougés.

L’élément Espace flexible est le seul élément ne remplissant qu’une fonction esthétique : il sert à remplir un espace vide (d’ailleurs, la disposition par défaut de Firefox utilise cet élément de chaque côté de la barre d’URL).

En bas à gauche se trouvent des options permettant d’ajouter des barres d’outils (barre de menu, barre personnelle), de changer le thème (par défaut, clair, sombre ou afterglow) ou de changer la densité de l’interface (du plus petit au plus grand, compacte, normale, tactile).

Configuration par défaut

4 thèmes possible

3 niveaux de densité

Ma configuration

La configuration que j’utilise est faite avec les options suivantes :

Les éléments de la barre personnelle (contenant les favoris) sont placés au niveau de la barre d’URL, et les éléments des extensions sont déplacés sur la barre d’onglets (lors de l’installation d’une extension ils se mettent automatiquement à droite de la barre d’URL).

Une astuce pour n’avoir que les favicons des favoris est de supprimer le titre de ceux-ci. N’oubliez pas que pour que les favoris soient dans les éléments de la barre personnelle, vous devrez sélectionner le dossier barre personnelle à l’enregistrement.

Il est possible d’aller encore plus loin dans la personnalisation de l’interface de Firefox en modifiant le fichier userChrome.css (ici le terme Chrome est une référence au métal brillant et non au navigateur concurrent qui d’ailleurs ne permet pas de modification aussi poussée de son interface). Il est possible de voir certains exemples de configuration avancée sur le subreddit FirefoxCSS.

Moteur de recherche en mot clé

Une autre fonctionnalité moins connue est la possibilité d’ajouter des moteurs de recherche et d’y ajouter un mot-clé.

La manière la plus simple d’ajouter un moteur de recherche à Firefox est de faire un clic droit dans n’importe quel champ de recherche et de sélectionner l’option Ajouter un mot-clé pour cette recherche.

Il vous sera ensuite demandé de choisir un mot-clé pour cette recherche, par exemple wiki. Une fois le moteur ajouté, une recherche de wiki linux redirigera automatiquement vers la recherche du mot “linux” sur ce moteur de recherche.

Cette fonctionnalité est équivalente à celle des bangs de DuckDuckGo ou des qwicks de Qwant (il faut préfixer le mot-clé du moteur de recherche de ! pour ddg, et de ! ou & pour qwant). Le désavantage de la fonctionnalité de Firefox comparée à celle intégrée à DuckDuckGo ou Qwant est la nécessité d’ajouter manuellement chaque moteur de recherche. En revanche, la recherche sera plus rapide car la résolution des URLs s’effectuera en local au lieu d’être envoyée sur un serveur distant, et vous aurez le choix du mot-clé utilisé pour la recherche.

Intérieurement, ces moteurs de recherche ne sont que de simples marques-pages, avec des attributs un peu différents :

Il est même possible d’aller plus loin en utilisant cette fonctionnalité comme constructeur d’URLs. Prenons l’exemple de Lastfm, un site internet permettant d’enregistrer son historique d’écoutes et proposant des statistiques et recommandations associées.

Une recherche du groupe Radiohead sur Lastfm se fait via l’URL https://www.last.fm/fr/search?q=radiohead. Dans ce cas-ci, la recherche n’est pas ambigüe et le groupe cherché est en première position dans la liste des résultats. Puisque nous connaissons déjà le nom du groupe, il serait plus rapide d’aller directement sur la page de l’artiste sans passer par la page de recherche en utilisant l’URL https://www.last.fm/fr/music/radiohead.

De la même manière que précédemment il est donc possible d’utiliser des raccourcis pour reconstruire directement l’URL de l’artiste. J’utilise personnellement les mots-clés lfm et lfmd (d pour direct) pour respectivement utiliser la recherche de Lastfm ou accéder directement à une page artiste.

Paramètres

Voici les principaux paramètres que j’applique dans les options de Firefox (page about:preferences). J’utilise la fonction Firefox Sync pour sauvegarder et synchroniser ces paramètres.

Général

J’active cette option car je préfère choisir systématiquement l’emplacement de sauvegardes des fichiers que je télécharge plutôt que tout soit enregistré dans le dossier Téléchargements.

Permet d’utiliser le clic molette pour défiler dans une page.

Ce paramètre activé par défaut rend le défilement des pages “fluide”. Cela est utile si vous utilisez un touchpad mais rend la navigation assez désagréable lors du défilement avec la molette de la souris.

Vie privée et sécurité

Firefox avertit que certains sites pourraient ne pas bien fonctionner, mais je n’ai personnellement jamais eu de problème.

Envoie un signal DNT (Do Not Track) aux sites internet. Paradoxalement, cette fonctionnalité peut favoriser le pistage des sites internet puisque assez peu d’utilisateurs utilisent cette option. Je l’active par principe.

Sert à désactiver le gestionnaire de mots de passe intégré à Firefox.

Fichier user.js

En dehors des options disponibles dans les paramètres de Firefox, il en existe d’autres accessibles uniquement via la page about:config de Firefox (plus précisément, tous les paramètres de Firefox sont présents sur about:config même ceux présentés précédemment).

Même s’il est possible de changer manuellement les options via cette page, il est aussi possible de créer un fichier user.js contenant ces paramètres avec la syntaxe user_pref(“clé”, valeur). Ce fichier doit être placé dans le dossier du profil firefox actif. Sous Linux ce dossier devrait se trouver à un emplacement ressemblant à ~/.mozilla/firefox/1234.default-release/. Une fois le fichier placé au bon endroit, un redémarrage du navigateur suffira à appliquer les nouveaux paramètres.

Dans les exemples ci-dessous, je n’ai sélectionné que les options qui me paraissaient les plus importantes. Vous pouvez trouver l’intégralité de mon fichier user.js sur github.

Comportement des onglets

Interface

Confidentialité / Sécurité

>> Home