Mot-clef « Extension Firefox »

Quelques extensions pour Firefox #8

Dark mode, téléchargement en masse et traduction

Download Star

Un remplaçant pour la défunte extension DownThemAll (victime de la suppression de l’ancien système d’extensions) permettant de télécharger en masse les médias affichés ou liés dans une page.

L’interface est peu intuitive mais en cherchant un peu on s’en sort. Il y a beaucoup d’autres extensions du même type mais la plupart ont un code fermé et demandent un grand nombre de permissions (ce qui laisse supposer un siphonnage de données perso). Pour celle là au contraire le code est libre et les permissions demandées sont minimalistes ce qui m’inspire beaucoup plus confiance.

Dark Reader

Une extension qui permet de basculer tous les sites consultés en mode “sombre” pour réduire la fatigue visuelle. Je l’utilise assez peu finalement parce que j’ai la plupart du temps un bon éclairage ambiant (donc je peux m’en passer) et que le rendu étant automatique il est loin d’être toujours très esthétique. Mais ça peut être très utile quand l’éclairage fait défaut.

L’extension permet évidemment d’activer le mode sombre seulement sur certains sites et d’activer ou désactiver le mode en quelques clics.

Simple translate

Dernièrement j’ai eu à traduire beaucoup de documentation technique en anglais. Dans ce cadre j’ai commencé par copier les fragments de textes dans un traducteur automatique (pour finir par retenir celui de Google qui reste le plus efficace), puis copier le résultat et le retravailler un peu pour un résultat satisfaisant (on ne visait pas là de la haute qualité littéraire, juste avoir une version anglaise minimale). Le truc c’est que ça fait énormément de clics entre deux onglets différents.

Cette extension permet lors de la sélection d’un fragment de texte dans la page d’afficher un encart à côté de la sélection contenant la traduction (via Google). L’avantage c’est que du coup tout se fait dans la même page et avec bien moins d’opérations puisqu’il suffit de sélectionner le texte puis sélectionner le texte traduit et le copier/coller au bon endroit.

Il est possible d’activer cette traduction en mode automatique ou bien de faire afficher juste un bouton déclenchant la traduction (voir désactiver complètement cet affichage par défaut et passer par le menu contextuel).

Perso une fois le boulot terminé, j’ai désactivé le truc parce que hors processus de traduction c’est peu utile et envahissant mais sur le moment ça m’a bien facilité la vie.

Attention cependant, côté Google ils ont un quota de requêtes, du coup comme on était plusieurs collègues à l’utiliser en même temps derrière la même IP, on a fini bloqué en fin de journée (mais c’est revenu le lendemain).


Quelques extensions pour Firefox #7

Auto Tab Discard

Cette extension permet de libérer automatiquement la mémoire allouée aux onglets que l’on n’a plus consultés depuis un certain temps. La page sera alors rechargée à la prochaine consultation de l’onglet.

L’ensemble est configurable avec la possibilité de définir le délai, des exceptions, etc.

Redirect AMP to HTML

Cette extension a pour but, lorsque vous suivez un lien vers une page AMP (pour Accelerated Mobile Page) de rediriger automatiquement vers la page HTML d’origine.

Avantages :

  • on évite de passer par les caches Google (la plupart du temps c’est Google derrière le cache) ce qui évite de leur fournir des données de consultation et de renforcer encore leur position centrale dominante
  • les version AMP ne sont pas forcément optimisées pour être affichées sur un vrai ordinateur avec un vrai écran (c’est prévu pour les ordiphones)

Textarea Cache

Cette extension va sauvegarder automatiquement les contenu des champs textarea (textes multi-lignes), ce qui permet de les retrouver lorsqu’on ferme un onglet par erreur (genre par exemple en tapant ctrl + w au lieu de ctrl + x).


Quelques extensions pour Firefox #6

Cet article est marqué comme contenant des informations dépassées depuis le 21/10/2018.
Ces extensions n'exitent plus. Adblock Edge et AngScope peuvent respectivement être remplacées par uBlock Origin et AngularScope.

Ça fait un moment que les articles s'empilent sur des sujets assez éloignés du thème historique de mon blog à savoir des trucs en rapport avec l'informatique. Du coup il serait peut-être temps de citer quelques extensions Firefox que j'ai ajoutées depuis la dernière fournée.

Adblock Edge

Tout le monde ou presque connait Adblock Plus mais il a un gros défaut : il est géré par une boite commerciale. Du coup forcément ils ont fini par vouloir monétiser la chose et laissent donc passer certaines publicités de régies avec lesquelles ils ont des accords. Adblock Edge, quand à lui, est un fork qui bloque les pubs sans passe droit. Et pour ceux qui ont un problème avec le blocage des pubs, cet article de Ploum résume assez bien mon avis.

URL to QR code

Cette extension ajoute un petit bouton à l'interface qui se contente au clic d'afficher en gros au milieu de l'écran un QR code de l'URL courante. "Quel intérêt ?" me direz-vous, je suis déjà sur la page ! Et effectivement ça ne saute pas aux yeux au premier abord mais en fait il y a un cas où c'est très pratique : lorsque vous devez tester un site sur mobile ou tablette. Surtout quand c'est une page au fin fond du site qui pose problème : on scanne le code et hop on y est sans avoir à taper une horrible URL sur un non moins horrible clavier tactile \o/

AngScope

Là c'est une extension assez ciblée puisqu'elle ne concerne que les développeurs utilisant le framework JavaScript AngularJS. Il s'agit d'une extension pour Firebug qui ajoute au menu contextuel un raccourci assez utile : "Inspect Angular Scope", qui affiche le contenu du scope courant à l'endroit où on a cliqué. Personnellement ça m'a sauvé la vie plus d'une fois pour comprendre ce qui se passait dans un gros empilement de directives !


Quelques extensions pour Firefox #5

Cet article est marqué comme contenant des informations dépassées depuis le 21/10/2018.
Status-4-Evar n'a bien entendu pas survécu à Firefox Quantum et à l'abandon du système historique d'extensions.

Status-4-Evar

Depuis Firefox 4, la barre d'état ou statusbar a disparu de Firefox, remplacée par une "barre de modules" et une infobulle au survol des liens donnant leur URL.

À mon sens cette infobulle remplaçant une barre statique est une mauvaise chose. Personnellement je ne suis pas fan des éléments qui apparaissent et disparaissent de mon interface, surtout quand ils apparaissent très souvent et ne prennent pas particulièrement de place. D'autant que comme j'ai des modules ajoutant leurs boutons dans la barre des modules, il n'y a même pas de gain de place. Puis pour couronner le tout, par moment quand le lien est en bas de page, on se retrouve avec une infobulle qui clignotent en continu et devient illisible.

Contrairement à l'habitude de Mozilla il ne semble pas y avoir de manière simple de remettre cette barre par configuration. Par contre, cette extension le permet.

Ghostery

Cette excellente extension propose de bloquer un grand nombre de scripts tiers qui pullulent sur les sites web pour recueillir une foule d'informations sur nous, ralentir les chargements et rendus de pages et accessoirement de temps à autres proposer des fonctionnalités un peu utiles (ou pas).

L'extension dresse une liste catégorisées des scripts et cookies bloqués et permet de choisir ce que l'on veut laisser passer ou non. De plus, pour les boutons de partages sur les réseaux sociaux, elle permet de remplacer les boutons par des icônes permettant au besoin de les réactiver ponctuellement sur la page en cours, ce qui permet de continuer à les utiliser si on le souhaite sans pour autant les subir continuellement (avec le lot de ralentissements qu'ils impliquent).

Awesome Screenshot Plus

Enfin, terminons cette série sur cette extension qui permet de faire des captures de pages ou d'extraits de pages et qui depuis un certain temps a remplacé chez moi l'extension "Abduction" dont j'avais parlé il y a quelques années. Cette extension est simple et efficace et a en plus l'avantage de s'installer sans redémarrage.


Quelques extensions pour Firefox sur Android #1

Vu que j'ai acheté une tablette Android, j'y ai installé Firefox et forcément j'ai regardé les extensions disponibles. Première impression : y en a très peu.

Cela étant dit, j'ai quand même trouvé de quoi remédier à 3 problèmes majeurs. Puis pour les retrouver facilement, j'ai créé une collection qui les recense.

La publicité : Adblock Plus

La première raison qui fait que je ne suis pas près de quitter Firefox sur mon PC c'est bien Adblock qui permet de purifier un peu les pages de tous les parasites publicitaires qui plombent les performances, consomment de la bande passante, perturbent la navigation et enfin obligent à faire des efforts pour les ignorer et rester concentré sur ce qu'on est venu voir sur le site.

Et donc, joie : une version d'Adblock existe pour Android \o/

Utiliser les versions desktop des sites : Desktop by Default

Les sites mobiles, ça part d'un bon sentiment. C'est fait pour que quand on a un écran format timbre poste, on ait une chance de pouvoir naviguer. Le hic, c'est que déjà sur un smartphone avec un écran pas trop petit, ce n'est pas toujours justifié mais sur une tablette dix pouces, ça devient juste très chiant ! Parce que ces sites mobiles avec moins de fonctionnalités, un design tout petit et tout ben sur un écran plus grand c'est juste moins navigable et lisible que la version desktop. Quand ce n'est pas bugué (genre Google images, j'arrive juste pas à naviguer entre les pages).

Pour y remédier, Firefox propose dans son menu de passer sur la version desktop du site mais ça a deux inconvénients : il faut le faire manuellement à chaque fois et ça redirige en général sur l'accueil... pas pratique quand on vient sur un article donné (genre via Twitter).

Cette extension permet de cocher cette case par défaut et d'un coup c'est vachement mieux.

Seul bémol : je ne sais pas ce qu'ils font exactement quand on coche la case, mais pour certains sites ça ne fonctionne pas. Par exemple le site du monde qui quoiqu'il arrive te redirige sur sa putain de version mobile toute pourrie écrite en taille 2 mais où le texte s'étire sur toute la largeur, ce qui empêche de zoomer sans devoir scroller horizontalement en permanence...

Toujours autoriser le zoom : Always Zoom

Un problème plus marginal mais ça arrive quand même : certains sites désactivent le zoom. C'est con, ça sert à rien et potentiellement ça emmerde l'utilisateur, autant de raisons manifestement suffisantes pour que certains sites le fassent.

Cette extensions de désactiver la désactivation du zoom. Je n'arrive plus à me souvenir où j'avais eu le problème, donc pas pu valider que ça marche effectivement bien mais y a pas de raison...