Les piments du net

Les piments du net

Un blog aromatisé

Les piments du net RSS Feed
 
 
 
 

Scripts GreaseMonkey

En navigant sur certains sites (notamment certains blogs), je suis parfois embêté par des « fonctionalités » qui perturbent ma lecture ou dérangent mes yeux. Heureusement, j’ai la chance d’utiliser le navigateur Mozilla Firefox. Celui-ci permet, grâce à l’extension
GreaseMonkey, de modifier dynamiquement des éléments de site existants.

Pour utiliser les petits scripts facilitant la navigation, c’est extrêmement facile. Il vous faut juste :

  • télécharger et utiliser Firefox, prérequis indispensable pour pouvoir utiliser ces scripts (et en plus, c’est un excellent navigateur, vous ne le regretterez pas)
  • installer l’extension GreaseMonkey et redémarrer votre navigateur

Une fois que cela est fait, vous êtes prêts à installer les scripts. Pour chaque script que vous souhaitez utiliser, cliquez avec le bouton droit de votre souris pour ouvrir le menu contextuel, et choisissez « Install user script ». Il vous suffit ensuite d’aller sur les pages concernées pour voir la magie opérer.

Vous avez le choix parmi les scripts suivants :

À votre service.

Creative Commons License