Greasemonkey est une extension pour les navigateurs Web Mozilla Firefox et Epiphany permettant de modifier le comportement d'une page Web en associant un script JavaScript au chargement de celle-ci. Il est ainsi possible d'intervenir sur une page Web pour y ajouter ou supprimer du contenu et y modifier le comportement des liens, entre autres.
De très nombreux scripts sont mis à disposition par les internautes qui les ont conçus. Vous trouverez ici le site officiel pour les scripts (communauté userscript.org).
http://userscripts.org
" ne fonctionne plus. Désormais, il faut rechercher les scripts sur Greasyfork ou sur OpenUserJS.
Vous pouvez également transformer les scripts en bookmarklet. Certains scripts peuvent être dangereux, préférez le site officiel, veuillez lire la description - et vérifier les avis.
Greasemonkey peut changer le design des pages, mais on lui préférera l'extension stylish. Stylish affectera le rendu directement contrairement à greasemonkey qui le changera par javascript (donc on aperçoit la page non changée à chaque fois). Vous pouvez tout de même utiliser les script - modificateur de style de la communauté userstyles.org.
Puis utilisez
Une alternative est l'utilisation de l'extension Firefox MediaPlayerConnectivity et le configurer pour lancer dans VLC ( par exemple ) - nécessite d'avoir les dernières versions.
Ajouter un lecteur mp3 dans la page à côté des liens mp3.
A utiliser conjointement avec l'extension linkification pour transformer les liens texte, en véritable lien cliquable (au lieu de copier le texte pour le mettre dans la bar d'url) :
Télécharger automatiquement à partir de :
Utiliser cette page ou l'extension scriptifypour convertir les scripts greasemonkey en extension Firefox. ( fonctionne également pour tout autre script javascript ).
Procédure :