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

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

Optimiser Firefox pour les petites configurations

Rédigé par antistress le 20 janvier 2015 (mis à jour le 13 juin 2017) - 10 commentaires

Panda roux à l'affut

Comme je l'évoque de temps à autres ici même, je possède un netbook (un Dell Mini 9). C'est mon compagnon de voyage.

Il n'est pas très vaillant, mais il fait le job lorsque, occasionnellement, je le sollicite. Il tourne sous Debian stable et me sert principalement à aller sur le Web.

Pour cet usage, j'utilise Firefox, mon navigateur de prédilection. D'un point de vue technique, c'est un navigateur stable (il ne plante quasiment jamais) et moins gourmand en mémoire vive que ses concurrents. D'un point de vue éthique, il est le fruit communautaire d'une fondation à but non lucratif (Mozilla), ce qui en fait un cas à part parmi les principaux navigateurs.

Compte tenu des limitations matérielles de mon netbook, j'ai cherché à optimiser Firefox pour alléger sa charge de travail.

Lire la suite de Optimiser Firefox pour les petites configurations

Mes parents sous Debian

Rédigé par antistress le 04 janvier 2013 (mis à jour le 28 mai 2017) - 27 commentaires

Wheezy parmi les cadeaux de Noël

Comme vous le savez, mes parents ont bénéficié d'une mise à jour matérielle suite à la mise à jour de mon propre PC.

Précédemment mes parents étaient sous Ubuntu 10.04 LTS Lucid Lynx puisque à l'époque j'utilisais moi-même Ubuntu (c'est plus simple d'avoir un même système d'exploitation quand on gère plusieurs machines).

Afin de bénéficier (si, si, c'est le mot approprié) de GNOME 3, et pour rester sur un rythme « long » proche des LTS, je les ai fait passer sous Debian 7 Wheezy (certes pas encore finalisé). J'utilise moi-même Debian Sid.

Lire la suite de Mes parents sous Debian

Fil RSS des articles de ce mot clé