Catégorie « Firefox »

Quelques trucs sur Firefox #5

Ajouter plusieurs onglets aux favoris, raccourci clavier de développement et suppression de suggestion dans un champ texte

Suppression d’une suggestion enregistrée dans un champ input

Ah ben après pas mal de recherches, j’ai fini par retrouver comment supprimer une suggestion enregistrée sur un input dans #Firefox.

Jusqu’à une certaine version (autour de 50 de mémoire), il suffisait de survoler la suggestion et d’appuyer sur la touche “suppr”. Mais depuis ça ne fonctionne plus, donc j’ai longtemps cru que c’était une autre fonctionnalité supprimée (j’ai l’habitude avec Mozilla).

Mais en fait non, c’est encore possible, c’est juste plus compliqué : ce n’est plus l’option survolée qui est supprimée, mais l’option sélectionnée.

Pour sélectionner une option j’ai trouvé deux solutions :

  • au clavier : défiler avec les flèches
  • à la souris : maintenir le clic gauche ou droit sur l’élément (mais attention en relâchant, l’élément finalement sélectionné sera appliqué au champ)

Y a pas à dire, c’est super intuitif et user friendly. Merci Mozilla \o/

Masquer un élément du DOM depuis les outils de développement

Pour facilement masquer un élément du DOM depuis les outils de développement, il suffit de sélectionner celui-ci dans l’inspecteur puis de presser la touche H pour le masquer puis à nouveau pour le ré-afficher. Plus pratique que de coller des display: none ou autres.

Apparemment ça fonctionne également sur Chrome et Safari.

Mettre en favoris plusieurs onglets à la fois

Fut un temps, Firefox proposait un bouton “marquer tous les onglets” pour mettre en une fois l’ensemble des onglets en favoris (ou marque-pages, signets, bookmark, ou tout autre terme qui vous plaira).

Cette option a disparu, mais il reste possible de le faire. Comme souvent avec Mozilla et les options qu’ils jugent trop avancées pour leurs utilisateurs, c’est plus compliqué qu’avant, mais pour une fois, on y gagne en possibilités (c’est assez rare pour le souligner, d’habitude c’est juste plus chiant).

Voici la marche à suivre :

  1. faire un clic droit sur un onglet et cliquer sur “sélectionner tous les onglets”
  2. c’est à cette étape qu’on y gagne par rapport à avant : via ctrl + clic gauche, vous pouvez dé-sélectionner certains onglets
  3. ensuite, faire un nouveau clic droit sur l’un des onglets sélectionnés puis cliquer sur “marquer ces onglets”
  4. on retombe alors sur la modale habituelle pour enregistrer un favori en choisissant son nom et son emplacement

Dans le cas où vous ne voulez marquer que quelques onglets, il est aussi possible de sauter l’étape 1 et sélectionner l’ensemble des onglets voulus via ctrl + clic gauche.

(source)


Quelques extensions pour Firefox #10

Réduction du pistage, flux RSS et navigation sans compte sur Pinterest

pinterest-guest

Je n’utilise pas des masses Pinterest mais il m’arrive l’une ou l’autre fois de tomber dessus.

Cette extension permet de naviguer sur Pinterest sans compte en supprimant l’overlay demandant de s’enregistrer.

D’autres extensions équivalentes existent, mais celle-ci est semble-t-il la seule à limiter la demande de permissions au strict nécessaire (l’accès aux données sur les différents domaines de Pinterest, là où les autres le demandent sur tous les sites).

Malheureusement elle ne permet pas de faciliter l’enregistrement d’image sans authentification…

ClearURLs

Cette extension nettoie les URLs parcourues en supprimant les paramètres destinés au traçage de la navigation.

Cela permet à la fois de réduire le niveau de surveillance des sites sur votre navigation et d’avoir directement des URLs nettoyées dans la barre d’adresse, ce qui éviter de partager des URL à rallonge pour rien.

Feed Preview

Cette extension détecte les flux RSS et Atom référencés dans les pages web.

Je l’utilise maintenant en remplacement d’Awesome RSS, car elle a l’avantage en plus de proposer un rendu lisible des flux lorsqu’on les visualise dans le navigateur.

C’est pratique notamment lorsque je cherche à télécharger une émission sur le site de Radio France, où le moyen de plus facile de trouver un lien de téléchargement reste le flux RSS.


Quelques extensions pour Firefox #9

Entêtes HTTP, rendu XML et compteur de caractères

ModHeader

Une extension qui permet d’ajouter facilement certains headers aux requêtes HTTP envoyées par le navigateur. Ça fonctionne bien et l’ergonomie est simple et bien pensée.

Son seul défaut, c’est un code fermé, mais je n’ai pas trouvé d’alternative qui soit aussi fonctionnelle.

Pretty XML

Depuis quelque temps (je ne saurais plus dire quand exactement) le rendu des documents XML est devenu vraiment pourri dans Firefox. Du coup lorsque j’ai eu à travailler sur de la génération de fichiers sitemap j’ai regardé ce qu’on pouvait trouver comme extension pour palier à ça.

Celle-ci fait plutôt bien l’affaire : le rendu est lisible et les liens sont navigables, ce qui est l’essentiel de ce que j’attendais.

word count

Une petite extension à l’usage assez ciblé puisqu’elle ajoute une entrée au menu contextuel qui permet de compter le nombre de mots et de caractères composant le texte sélectionné.


De la politique de signature des extensions dans Firefox

Mozilla, le Parti Socialiste du logiciel ?

La semaine passée, les utilisateurs de Firefox ont dû faire face à une désactivation de l’ensemble des extensions du navigateur (enfin presque, chez moi 5 sont restées, allez savoir pourquoi). Mozilla a fourni rapidement des solutions de contournement et travaillé à résoudre le problème (plus de détails ici) et je n’ai rien à redire là-dessus.

Par contre, ça révèle selon moi un gros problème de fond.

Je ne vais pas m’étendre sur la partie concernant le mécanisme d’« études » dont j’avais oublié l’existence et qui était finalement le seul moyen de contournement trouvé sur un Firefox standard : ce mécanisme permet à Mozilla d’installer silencieusement des trucs sur le navigateur et est fort heureusement désactivé par défaut… même si ça laisse songeur sur les potentielles failles de sécurité ouvertes par ce canal.

Non, ce qui me pose vraiment problème, c’est cette gestion de la signature des modules. Non pas que le fait de signer les modules soit un problème en soi. C’est une réponse tout à fait valable à des attaques via des extensions malveillantes. Mais plutôt la manière dont c’est mis en œuvre.

En effet, cet épisode révèle que :

  • la vérification de la signature des modules est désactivable sur environ toutes les versions sauf la version grand public (donc sur ESR, Developer edition, Nightly) via la clé xpinstall.signatures.required (et extensions.langpacks.signatures.require pour les paquetages linguistiques), cf la documentation pour plus d’informations
  • les signatures des modules sont revérifiées une fois par jour (cf l’article technique évoqué plus haut) et si la vérification échoue, l’extension est désactivée d’autorité (et silencieusement je crois bien, mais je ne suis plus certain de ce point, il y avait peut-être un petit message dans un coin)

Ces deux points sont pour moi hautement problématiques pour des raisons plutôt bien résumées dans les pouets suivants :

Sinon imaginez Linux avec le même genre de conception ?

Le certificat du dépôt expire, et tous les paquets sont invalidés et votre OS cesse de fonctionner ?

C'est pas juste une bourde, c'est une énorme connerie dès la conception. Une énorme FBI (Fausse Bonne Idée).

Mais c'est pour notre bien, c'est pour notre sécurité. Meh.

Non la pillule n'arrive pas à passer.

— sebsauvage (@sebsauvage@framapiaf.org) le 10 mai 2019 à 19:46

Le problème, c'est que Mozilla commence à faire comme Google : faire les choix à la place de l'utilisateur "pour son bien", non seulement en ne lui proposant pas de choisir, mais en allant jusqu'à rendre la désactivation de l'option IMPOSSIBLE.

À partir de quand c'est une bonne idée ?

Comme on peut considérer ça comme respectueux de l'utilisateur ?

— sebsauvage (@sebsauvage@framapiaf.org) le 10 mai 2019 à 20:12

Que les options par défaut protègent l'utilisateur OK, mais pourquoi empêcher les utilisateurs avancés de modifier l'option ?

— sebsauvage (@sebsauvage@framapiaf.org) le 10 mai 2019 à 20:41

On est là au cœur du problème : Mozilla a mis en place un système de signature des extensions pour protéger contre les extensions malveillantes (et c’est très bien) mais de telle manière que l’utilisateur n’ait aucune manière de contourner le système s’il le souhaite. Mozilla décide et l’utilisateur subit “pour son bien”.

Dans les versions du logiciel destinées à un public technique ou professionnel on permet de désactiver le système, mais pour le grand public, non. Quand je dis que c’est désactivable, on parle bien d’une configuration perdue dans about:config, donc un truc que l’utilisateur lambda n’a aucune chance de toucher par erreur (puisque les extensions ne le peuvent plus). Un truc déjà réservé à des utilisateurs avancés (ceux qui ont passé le message anxiogène et fait l’effort de trouver la clé à modifier). Donc pourquoi l’interdire sur la version grand public ?

Message anxiogène avant d'accéder à about:config
Message anxiogène avant d'accéder à `about:config`

Le second point relève de la même logique : on valide tous les jours et en cas d’échec on désactive. Sur le papier ça peut se tenir comme comportement par défaut, mais une fois de plus c’est décider à la place de l’utilisateur.

Comment on peut considérer que faire tout d’autorité sans à aucun moment donner la main à l’utilisateur peut être une bonne idée ? Parce que virer les extensions ça veut dire casser des fonctionnalités (ce qui peut être un gros problème) mais surtout se balader à poil (vu le peu d’outils natifs de protection contre les traqueurs).

Le minimum aurait été de proposer un bouton permettant de réactiver l’extension (après moult messages anxiogènes si on veut) mais un truc qui permette de continuer à utiliser convenablement son navigateur même si un truc s’est mal passé.

Pour moi tout ça est assez symptomatique de la dérive de Mozilla ces dernières années qui se comporte de plus en plus comme un Google ou un Apple : je sais mieux que vous ce qu’il faut faire donc pour votre sécurité je vais décider à votre place.

Je suis désolé, mais pour moi, c’est très loin de l’idéal des logiciels libres. Mais vraiment très loin. C’est infantiliser l’utilisateur en lui déniant le droit de faire des choix (certes il peut toujours patcher son navigateur et le recompiler, hein, mais outre le fait que ça nécessite déjà un gros bagage technique, avec la mode des cycles de développement courts, c’est devenu excessivement laborieux).

Encore une fois, je ne dis pas qu’il faut laisser faire les pires conneries en deux clics, mais juste laisser des solutions de contournement, a fortiori quand elles existent (puisque la clé de configuration existe dans les autres versions, ça n’introduirait même pas de coût de maintenance supplémentaire).

Tout ça me renforce dans mon impression de plus en plus forte que Mozilla tend à s’apparenter à un Parti Socialiste du logiciel : on fait valoir de grands idéaux, mais finalement on va au même endroit que les autres, juste un peu plus lentement. Et ça, ça me déprime fortement parce qu’on n’a pas des masses d’alternatives viables en matière de navigateurs libres.


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).