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

Test de GNOME-Wayland sur Debian : pas encore tout à fait ça

Rédigé par antistress le 11 octobre 2016 (mis à jour le 04 juillet 2017) - 6 commentaires

Capture d'écran d'un bureau GNOME avec le logo Wayland en surimpression

Ma machine tourne sous Debian Sid, alias Unstable, avec GNOME actuellement en version 3.22, soit une version particulièrement bien adaptée à Wayland.

J'ai donc à nouveau tenté la bascule, et je dois dire que les progrès accomplis impressionnent, dans le sens où il devient très difficile de distinguer une session GNOME-Wayland d'une session GNOME-X11 (la vie est ainsi faite que les différences au niveau de l'interface sauteront aux yeux des utilisateurs autant que les gains en termes de sécurité et d'éradication de bogues insolubles passeront inaperçus). Pour résumer la chose en quatre petits mots : on y est presque !

Presque ?

Lire la suite de Test de GNOME-Wayland sur Debian : pas encore tout à fait ça

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

Noël 2015

Rédigé par antistress le 24 décembre 2015 - 1 commentaire

Chat dans un sapin de Noël

Joyeuses fêtes de fin d'année à tous et à l'année prochaine :-)

Fil RSS des articles