Come tutti voi sapete Greasemonkey è un plugin ( direi essenziale ) per Mozilla Firefox. Questo ci permette di gestire ottimamente i javascript per specifici siti. Opera d'altrocanto, già dalla versione 8, integra un sistema che da la possibilità di aggiungere javascript a siti specifici o in modo globale. Ne parlai tempo fa in questo post, quando accennai come fare per rendere pulita l'interfaccia di Facebook usando FB-Purity. Oggi vi dirò di più, tutti gli script che potete trovare su userscript.org ( o altri ), possono essere integrati facilmente in Opera. L'importante è che gli script installati abbiamo estensione ".user.js". Diversamente lo script non potrà funzionare.
Lo script ora è pronto per essere integrato in Opera in modo globale ( sarà applicato su ogni pagina che verrà aperta ) o in modo specifico ( verrà applicato solo su un dato URL definito dall'utente ).
