L'extension du jour : Update Scanner pour Firefox

Rédigé par antistress le 15 avril 2018 - 2 commentaires

Super heros capé arborant le logo de Firefox sur la poitrine
Captain Extensions recommande Update Scanner

Update Scanner est une extension pour Firefox (au nouveau format WebExtension, compatible avec Firefox 57 et suivants) qui permet d'être averti des modifications effectuées sur une page Web.

Cette extension est utile pour les pages dont les mises à jour ne sont pas signalées par un flux de syndication.

Par exemple, vous venez de poster un commentaire sous un billet et souhaitez être averti de nouveaux commentaires mais le blogue ne propose aucun outil pour cela. Ou alors vous avez fait des modifications sur un wiki et souhaitez être averti des modifications ultérieures. Ou encore vous souhaitez connaître les modifications d'une page statique d'un site donné (une petite annonce sur le bon coin...).

Dans tous ces cas, Update Scanner fera automatiquement les vérifications pour vous.

Lire la suite de L'extension du jour : Update Scanner pour Firefox

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 01 juillet 2018) - 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

Optimiser Firefox pour les petites configurations

Rédigé par antistress le 20 janvier 2015 (mis à jour le 08 octobre 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 15 avril 2018) - 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é