Journal Un fichier EPUB d’une dépêche ou d’un journal avec tous les commentaires

Posté par  (site web personnel, Mastodon) . Licence CC By‑SA.
Étiquettes :
27
22
sept.
2020

Bonjour les gens,

il me souvient d’une discussion ici où se posait la question des formats de téléchargement des contenus de DLFP1, Markdown et EPUB et que d’aucuns et d’aucunes trouvaient dommage de ne pas pouvoir récupérer les commentaires qui allaient avec. J’ai la solution, enfin, une solution à base d’une extension pour Firefox ou Chrome.

L’extension

Cette extension s’appelle Save as eBook, je l’ai découverte grâce à Mastodon (c’est bon, mangez-en) et je viens de l’essayer illico (…)

Firefox 78 et 78 ESR

53
1
juil.
2020
Mozilla

Les versions 78 et 78 ESR de Firefox desktop ont été publiées le 30 juin 2020.

Les principales améliorations de cette version sont : toujours plus de WebRender, une nouvelle interface pour le mode lecture, la possibilité d’exporter des mots de passe, la correction d’un bogue dans le décodage matériel expérimental des vidéos sous Wayland…
Par ailleurs, cette version servira de base à la prochaine version de Thunderbird qui paraîtra dans quelques semaines.

Les nouveautés sont développées dans la deuxième partie.

Journal gettext_html_auto.js : traduction de WebExtension

Posté par  (site web personnel) . Licence CC By‑SA.
14
25
mai
2020

La méthode officielle pour traduire une WebExtension comme Meta-Press.es est d'utiliser l'API i18n. Malheureusement cette dernière impose de définir soi-même une clé pour chaque portion de texte à traduire, or l'exercice se révèle chronophage, tout particulièrement quand il s'agit de grosse page web comportant plein de petits textes comme les formulaires.

C'est le cas de l'interface principale de Meta-Press.es, ainsi que de sa page de préférences. C'est d'ailleurs le cas de beaucoup de pages de préférences de WebExtensions.

Pour (…)

Journal Textmarker pour Firefox : surlignez et annotez le Web

Posté par  (site web personnel) . Licence CC By‑SA.
17
29
avr.
2020

Hello,

Edge

J'ai eu l'occasion de lancer le navigateur Edge de Microsoft sur un Windows 10 virtualisé avec GNOME Machines.

Je passerai sur l’horreur d'installer Windows 10 Pro et de devoir refuser (dans le meilleur des cas) ou limiter (souvent) une à une les options de pistage gentiment proposées, le tout avec une interface truquée (dark patterns) via des labels de boutons qui contredisent mes choix, pour évoquer rapidement Edge.

Passé le choc d'une interface complètement encombrée (…)

Journal Les modifications que j'apporte aux réglages par défaut de Firefox en avril 2020

21
4
avr.
2020

Bonsoir Nal (pourquoi j'écris toujours mes journaux le soir ? J'ai l'impression que ça ruine complètement la blague )

Puisque j'ai un peu de temps à passer à domicile (ha bon ? s'étonne la foule), j'en ai profité pour faire le nettoyage de printemps de mon Firefox. En fait je ne suis pas sûr de le faire tous les ans, mais je pense que je dois bien le faire tous les 1-3 ans quand même).

En quoi ça consiste t-il (…)