Greasemonkey à l'opéra

Saviez-vous que vous pouvez facilement charger des scripts Greasemonkey dans Opera? Alors que les utilisateurs de Firefox ont besoin d'une extension pour cela, les utilisateurs d'Opera peuvent simplement les importer dans Opera. Eh bien, un travail manuel est nécessaire mais rien de grave. Prend probablement une demi-minute pour l'importer.

Vous devez d'abord télécharger le script Greasemonkey que vous souhaitez utiliser dans Opera. Vous devrez peut-être renommer ce script pour que le fichier se termine par user.js si ce n'est pas déjà le cas.
Maintenant, ouvrez Opera et allez dans Outils> Préférences> Avancé> Contenu et cliquez sur le bouton Options JavaScript.



Il y a un formulaire à la fin appelé User Javascript Files qui pointe vers le répertoire qui contient tout les fichiers Javascript personnalisés. Si vous en avez plus d'un, mettez-les tous dans ce répertoire. Je vous suggère de créer un nouveau dossier dans le répertoire Opera et de le nommer Javascripts ou quelque chose comme ça.

javascript options

Opera doit être redémarré pour que les scripts puissent être chargés une fois que le dossier a été sélectionné. Après cela, il suffit de tester les scripts sur le site Web sur lequel ils travaillent.