Mes extensions préférées pour Firefox

Note

Cette page parle d’extensions pour Mozilla Firefox, le meilleur navigateur web !

Pour plus de détails, il peut être utile d’aller s’informer ailleurs :

Ma liste d’extensions

Veuillez trouver ci-dessous ma liste d’extensions favorites pour Mozilla Firefox, le meilleur navigateur web !.

Note

Qu’est-ce qu’une extension ?

Une extension est un petit programme additionnel pour votre navigateur Internet. Ici je parlerai uniquement du légendaire Firefox.

Ces extensions sont en quelques sortes similaire aux greffons pour Sublime Text, donc si vous êtes intéresse : j’ai aussi écrit une page pour Sublime Text !

Pour une meilleure expérience utilisateur

  • Activate Reader View (0.1.0) permet de facilement activer le « mode lecture » sur n’importe quel site,

  • En plus d’activer la vérification orthographique avec le dictionnaire (intégré), cette extension LanguageTool vérification de la grammaire avec LanguageTool.org. Il s’intègre à toute zone de texte, on peut le désactiver pour un site web particulier. Par défaut, le greffon envoie le texte tapé en ligne, ce qui n’est pas optimal niveau sécurité et vie privée (et ne fonctionne pas hors-ligne), mais on peut installer ça soi-même sur son ordinateur (en bidouillant un peu). Je trouve ça incroyable, je viens de le découvrir (février 2021).

  • Dark Reader (4.5.0) permet d’activer un mode « sombre » pour (presque) n’importe quel site web ! Très pratique quand on travaille de nuit !

  • JSONView (2.0.0) pour afficher joliment des fichiers JSON,

  • Markdown Viewer Webext (1.3.0) pour afficher joliment des fichiers Markdown,

  • Tab Session Manager (3.1.1) pour sauvegarder et restaurer ses sessions (liste d’onglets et de fenêtres ouvertes),

  • Tab Notifier (3.1) pour être notifié quand un onglet change de titre (e.g., vidéo suivante sur YouTube).

  • Textarea Cache est minuscule mais très pratique : il conserve le contenu des dernières « textarea », ces zones d’édition de texte dans votre navigateur. Très pratique quand on écrit une réponse ou un message mais qu’on ferme l’onglet sans faire attention…

  • Tab reloader pour recharger automatiquement un onglet toutes les 5 secondes ou plus. Utile pour des pages comme agreg.org en attendant les résultats d’un examen (ou autres choses) !

Pour une meilleure sécurité

  • Facebook container (1.3.1), cf. ici sur GitHub, permet de restreindre dans un « conteneur » un onglet dans lequel vous vous connectez à Facebook : c’est un peu technique, mais en gros ça suffit à ce que tous les autres onglets n’aient en fait aucun moyen de savoir que vous êtes connecté, et donc empêcher tout vol de données privées,

  • Ghostery (8.1.2) pour bloquer tous les traqueurs et scripts d’espionnage et de mesure d’audience !

  • NoScript (10.1.8) est encore plus puissant, et permet un contrôle très fin sur les scripts que vous autorisez à exécuter, pour chaque page, pour chaque page !

  • uBlock Origin (1.16.4), cf. ici sur GitHub, est le meilleur bloqueur de publicités. Rien d’autre à dire. Ah si, attention : il ne faut pas utiliser son grand frère uBlock !

  • La minuscule Tracking Token Stripper (2.1) permet de supprimer tous les tokens de suivi de Google Analytics (UTM) des chaînes de requête d’URL. Très simple mais parfaitement efficace !

Pour personnaliser l’expérience utilisateur

Note

Mes scripts utilisateur et mes feuilles de styles personnalisées sont, évidemment, disponibles sur mon site web, dans ce dossier.

Pour certains sites web

  • Emoji Cheatsheet for GitHub, Basecamp etc. (2.0.1) pour facilement choisir « la bonne émoticône » pour réagir à n’importe quelle situation sur des sites comme GitHub,

  • GitHub File Icon (0.5.0) montre une petite icône différente pour chaque type de fichiers, très pratique quand on regarde un gros dépôt entier sur GitHub

  • GitHub with MathJax (0.2.3) (pas encore publié sur le site des extensions de Firefox. Simple mais efficace : utilise MathJax pour afficher joliment des équations écrits en LaTeX dans des fichiers Markdown (ou d’autres format), quand on les vois affichés sur GitHub.

  • Quick Commands fournit un moyen rapide de rechercher et de changer entre les onglets ouverts ou les onglets ouverts à partir de l’historique et des signets. C’est similaire au mode « commande » de VSCode et des notebooks Jupyter.

  • YouTube Control Center (0.6.3), cf. le site web de l’éditeur, permet un contrôle plus fin de YouTube.com. En particulier, je m’en sers pour cacher (et même, ne pas charger) l’espace commentaires, que j’ai toujours trouvé débile et inutile (et c’est plus écologique et respectueux de la vie privée !).

  • YouTube Speed Control est tout petit mais permet de changer la vidéo de vos vidéos. C’est essentiel pour que je parvienne à écouter (et regarder quelques unes) toutes les vidéos des chaînes auxquelles je suis abonné. Je regarde mes vidéos en français et en anglais x1.75 par défaut, et à la plupart sont tellement lente que lorsque je suis bien réveillé, je peux monter à x3 !

À des fins écologiques

  • Carbonalyser analyse les sites Web sur lesquels vous naviguez le plus et ceux qui sont les plus polluants, en analysant la quantité de données envoyées et reçues. Pour moi en février 2021, c’était 34% YouTube, 12% Netflix et 11% 9Gag.

  • YouTube Audio permet de ne pas recevoir le flux vidéo, et donc réduit significativement la consommation électrique et donc l’impact écologique de sa consommation de vidéos YouTube, si on ne les regarde pas mais juste qu’on les écoute…

Voir aussi

Ce que je regarde sur YouTube ! ;

Ancienne liste

Voici quelques listes d’applications utiles, presque classées par catégories.

Avertissement

N’est plus du tout à jour !

J’ai écrit cette liste en octobre 2015, donc elle est peut-être obsolète… Je l’ai relu et vérifié en mai 2016, et ça avait l’air d’aller ! En 2017, depuis la version 57 de Firefox, le format des extensions a changé, et la plupart des extensions que j’utilisais depuis des années ne sont plus disponibles. Je garde cette liste originale pour le plaisir.

Liste des extensions qu”il faut avoir

  • AdBlock Plus pour dire adieu à la publicité sur Internet, en enlevant presque toutes les pubs, les pop-ups et d’autres trucs vicieux,

  • InlineDisposition et Open In Browser pour toujours être capable de choisir d’ouvrir un fichier directement dans le navigateur (sans le télécharger),

  • NoSquint permet de régler les paramètres de « zoom de la page » et « zoom du texte » au cas par cas, pour chaque site web (essayez-le, c’est juste génial),

  • Speed Tweaks (Speedy Fox) pour facilement régler certains paramètres qui influencent les performance de Firefox (juste un clic permet de vraiment gagner en performances !),

  • Tab Group restaure la vieille fonction de groupement d’onglets, que je considère purement nécessaire (elle a été enlevé après Firefox v45+),

  • Tab Mix Plus ajoute plein de fonctionnalités utiles pour utiliser au mieux les onglets.

Note

« Et pour Google Chrome ? »

Je n’ai jamais vraiment utilisé d’autres navigateurs que Firefox, désolé…

Néanmoins, il devrait être possible d’utiliser le magasin d’extensions de Google Chrome pour trouver des équivalents à chacune des extensions cités dans cette page.

Extensions pour améliorer l’ergonomie

  • FabTabs ajoute une couleur à chaque onglet, représentant la couleur de sa page (un onglet ouvert sur Facebook sera affiché bleu par exemple). Simple mais très beau !

  • FlagFox ajoute un petit drapeau du pays de la page courante (en fonction de son nom de domaine mais aussi de la localisation du serveur),

  • GNotifier et Tab Notifier pour intégrer les notifications du navigateur dans le système de notification de votre ordinateur (et aussi pour afficher des notifications sur certaines pages qui ne le font pas, en regardant les changements du titre de la page par exemple. Ça marche bien sur Facebook notamment),

  • Location Bar Enhancer change la façon d’utiliser la barre d’adresse (bizarre au début, magique après),

  • New Tab Tools améliore grandement la page « nouvel onglet »,

  • Tab Wheel Scroll pour changer d’onglet avec la roulette de la souris.

Extensions pour geeks

  • Classic Theme Restorer rétablit certains éléments de l’ancien thème de Firefox,

  • Customizable Shortcuts permet de changer chaque raccourcis clavier de Firefox (je m’en sers uniquement pour enlever les énervants raccourcis Ctrl+q et Ctrl+Q… Je ne veux pas fermer Firefox sans confirmation à chaque fois qu’un Ctrl+C ou Ctrl+A ripe en un Ctrl+Q !),

  • Download Status Bar permet de mieux contrôler les téléchargements faits dans Firefox, via une jolie barre de statut,

  • Stylish permet de gérer ses styles personnalisés : les styles personnalisés sont comme des thèmes pour un site web particulier. Je suis fan du joli thème « github-dark » pour GitHub. J’ai aussi écrit mon style pour live.com et outlook.com (Outlook Microsoft webmail).

  • Textarea cache conserve automatiquement le contenu de n’importe quelle zone d’édition de texte rencontrée, et celles d’un éditeur « WYSIWYG » lorsque vous écrivez dedans. Il est ensuite possible de restaurer ou copier les textes sauvegardes, même si l’onglet ou la fenêtre s’est fermée inopinément.

Lire et visualiser plus de fichiers

Extensions pour agents secrets (ou paranoïaques)

  • BetterPrivacy permet de supprimer les cookies inutiles à la fermeture de Firefox (ainsi que le cache de Flash),

  • Disconnect supprime plein de traqueurs et de pubs,

  • Decentrales permet d’héberger localement les dépendances (javascript) normalement hébergées sur des Content Delivery Networks. C’est une bonne idée, pour améliorer les performances de navigation et l’anonymat,

  • Element Hiding Helper for AdBlock Plus permet de mettre en place des règles pour cacher n’importe quel élément d’une page web (image, panneau de pub etc), comme si c’était une publicité bloquée par AdBlock,

  • Facebook Disconnect supprime complètement le suivi et l’espionnage que fait Facebook dans d’autres sites,

  • FlashBlock désactive les objets Flash par défaut sur chaque page (note : AdBlock ou Ghostery font la même chose). Les vidéos ne se liront plus toutes seules…

  • Ghostery est l’outil facile-à-utiliser NUMÉRO UN pour désactiver les cookies, traqueurs et autres mini logiciels espions qui pullulent sur chaque site (j’ai rien à dire : ce site utilise Google Analytics aussi…),

  • HTTPS Everywhere protège vos communications en autorisant le cryptage HTTPS automatiquement sur les sites qui le supportent, même si vous tapez une adresse URLs ou suivez un lien auquel il manque le préfixe https:.

  • NoScript Security Suite est THE outil pas-facile-à-utiliser pour améliorer significativement la sécurité dans Firefox : par défaut, tous les scripts (javascript) inconnus seront désactivés (et ça améliore aussi plein d’autres choses, comme le risque d’injection de scripts XSS etc),

  • SSLeuth évalue la qualité d’une connexion HTTPS sécurisée (SSL ou TLS) établie et donne un bref résumé de la suite de chiffrement, du certificat et d’autres paramètres SSL / TLS (merci à cet article).

  • Toggle Proxy si vous avez l’habitude d’utiliser différents réglages de proxys, pour jongler rapidement entre eux.

Extensions pour web-développeurs

  • Link Checker pour… rapidement vérifier des liens !

  • Octotree est intéressant si vous utilisez beaucoup `GitHub`_.

  • Quick Locale Switcher pour… rapidement changer le paramètre de langue (locale),

  • Reload Plus pour regagner plein contrôle du cache de votre navigateur (e.g. Ctrl+F5 permet de recharger une page, en écrasant la version localement mise en mémoire cache).

Autres extensions

  • All-in-One Sidebar si vous aimez avoir l’historique, les téléchargements, les favoris dans une barre latérale (utile sur un écran très large par exemple),

  • Copy as Plain Text si vous travaillez beaucoup avec Markdown ou d’autres langages à balises,

  • Markdown Here si vous voulez écrire facilement des jolis courriels en Markdown,

  • Mind the Time permet de mesurer précisément le temps passé sur chaque site web, chaque page, au jour le jour (mais on peut aussi consulter les stats” par semaines ou par mois).

  • about:addons-memory est simple mais utile si votre Firefox utilise trop de mémoire RAM : il permet de lire sur une page about:addons-memory la consommation en RAM de chaque greffons. Si l’un d’entre eux utilise beaucoup trop de RAM, peut-être qu’il faut le désinstaller !

Pages similaires

Voir aussi

Applications Android™

Liste des meilleures applications pour un téléphone sous Android™.

Greffons Sublime Text 3

Liste des meilleurs greffons pour l’éditeur de texte Sublime Text (3).