Sous-titrer des vidéos HTML5 : balise track

Rédigé par antistress le 03 juin 2017 (mis à jour le 13 juin 2017) - Aucun commentaire

Vieux film sous-titré

Contexte : voici un billet que j'ai commencé à rédiger à l'époque de Firefox 5 tandis que la balise track était encore en développement sous l'égide du WHATWG avec notamment la participation active de Ian Hickson (Hixie) et Silvia Pfeiffer. Par ailleurs, alors que la balise track est exploitable par Firefox depuis sa version 31, un bogue de ce dernier empêchait encore il y a quelque mois l'affichage des sous-titres lorsque la vidéo était au format Ogv, bogue qui a été corrigé depuis (perso j'ai encore cette demande de fonctionnalité en attente).

Entrons à présent dans le vif du sujet.

Pour le dire en quelques mots : la spécification HTML5 permet d'associer à la balise video une balise track dont l'objet est de gérer l'affichage de sous-titres (le navigateur se chargeant alors d'incruster en temps réel à une vidéo donnée les sous-titres décrits dans un fichier qui lui est indiqué).

Voyons à présent comment marche cette balise, et quelle méthode utiliser afin de ne pas exclure les navigateurs qui ne la supportent pas.

Lire la suite de Sous-titrer des vidéos HTML5 : balise track

Gérer les extensions pour GNOME Shell avec Firefox en 2017

Rédigé par antistress le 26 janvier 2017 - Aucun commentaire

Capture d'écran du site officiel des extensions pour GNOME Shell

Il y a quasiment cinq ans, en même temps que sortait la version 3.4 de GNOME, était inauguré le site extensions.gnome.org qui concrétisait le projet SweetTooth (wiki du projet, article d'explications), soit un logiciel en ligne permettant, à la façon du site addons.mozilla.org ou du magasin d'applications Android, d'installer/désinstaller facilement des extensions pour GNOME Shell.

Jusqu'à présent, un plugin NPAPI était requis pour pouvoir faire fonctionner le site avec un navigateur comme Firefox. Ce qui n'est pas sans inconvénients – j'en vois deux pour ma part :

Lire la suite de Gérer les extensions pour GNOME Shell avec Firefox en 2017

L'extension du jour : User Agent Switcher pour Firefox

Rédigé par antistress le 18 janvier 2016 (mis à jour le 03 juin 2017) - 3 commentaires

Super heros capé arborant le logo de Firefox sur la poitrine
Captain Extensions recommande
User Agent Switcher

Voici une extension pour Firefox qui m'est indispensable depuis un moment – même si je ne l'utilise qu'occasionnellement – et dont je n'ai pas encore parlé ici :

User Agent Switcher (installable depuis le site addons.mozilla.org) est une extension qui, comme son nom l'indique, permet de modifier le user agent de votre navigateur (suivez ce lien pour connaître votre user agent actuel).

Je vois au moins trois utilités à cette extension :

Lire la suite de L'extension du jour : User Agent Switcher pour Firefox

Joyeux anniversaire à moi : 10 ans de GNU/Linux

Rédigé par antistress le 22 décembre 2015 - 5 commentaires

Gâteau d'anniversaire

Mes amis, cela fait 10 ans (et le pouce) que je boote sur un système GNU/Linux.

La Grande Aventure a commencée avec une Ubuntu 5.10 (nom de code « Breezy Badger ») : il s'agissait alors de la troisième version de cette distribution GNU/Linux qui faisait parler d'elle en misant sur la facilité d'installation et d'utilisation pour cibler le grand public (plutôt que le monde de l'entreprise).

Lire la suite de Joyeux anniversaire à moi : 10 ans de GNU/Linux

L'astuce du jour pour Firefox : capturer l'intégralité d'une page

Rédigé par antistress le 14 mai 2015 (mis à jour le 14 mai 2016) - 8 commentaires

Super heros capé arborant le logo de Firefox sur la poitrine
Captain Extensions, c'est aussi des astuces
(et du coup ça colle plus trop avec le nom maintenant)

Voici une astuce pour Firefox qui vous fera économiser une extension :

« Qui ne s'est jamais retrouvé embêté en voulant capturer une page qui débordait de l'écran ? » interrogea le Captain à la cantonade.
La foule fut parcourue d'un long murmure.
« Personne, j'en étais sûr ! » conclut le Captain, satisfait car il aimait se rendre utile.

Car, oui !, Captain Extensions a la solution pour vous, braves gens !

Lire la suite de L'astuce du jour pour Firefox : capturer l'intégralité d'une page

Fil RSS des articles de ce mot clé