Mozilla Firefox : actualiser les flux RSS plus souvent

Vous avez sans doute remarqué que les marques pages dynamiques s'actualisent à une fréquence faible par rapport à la vitesse de circulation de l'information aujourd'hui.

Par défaut, Firefox rafraichit ses onglets RSS toutes les 60 minutes, ou au démarrage. Il n'offre aucune possibilité de paramétrage de cet intervalle via l'interface. Il est néanmoins possible de le modifier en passant par le "about:config" (la page cachée des préférences avancées).

Firefox teste au démarrage l'existence d'une option nommé "browser.bookmarks.livemark_refresh_seconds", si elle existe, il prend sa valeur pour intervalle entre deux rafraichissement, si elle n'existe pas, il prend 60 minutes.

Voici la procédure pour l'ajouter:

  • Dans Firefox, ouvrez un nouvel onglet (Ctrl+T)
  • Tapez comme adresse : "about:config"
  • "Faites attention"
  • Faites un clic droit n'importe où dans la liste et Nouvelle > Valeur numérique.
  • Saisissez "browser.bookmarks.livemark_refresh_seconds"comme nom d'option. Validez.
  • Saisissez votre nouvelle valeur en seconde (300 pour 5 minutes). Validez.

Faites attention, une faible valeur peut considérablement ralentir votre navigation pendant le rafraichissement.

Sinon, je vous recommande ce plugin qui raffraichit à la demande (avec un bouton):
https://addons.mozilla.org/fr/firefox/addon/2081/

Voilà!

Commentaires

Poster un nouveau commentaire

Le contenu de ce champ ne sera pas montré publiquement.
Image CAPTCHA
Entrez les caractères affichés sur l'image sans espaces.
Syndiquer le contenu