Geekissimo

Utilizziamo gli script di Greasemonkey in Opera

 
Pierfrancesco Petruzzelli (pierfrancesco99)
11 Agosto 2008
2 commenti

Conoscete un metodo semplice per caricare facilmente gli script di Greasemonkey in Opera? Oggi vi voglio mostrare come fare, la procedura è semplicissima e non richiederà più di cinque minuti.

Innanzitutto scarichiamo lo script Greasemonkey che vogliamo utilizzare in Opera. Dobbiamo rinominare questo file in modo che finisca con user.js. Dopo di che apriamo Opera e andiamo in Strumenti-Preferenze-Avanzate-Contenuti ed apriamo le opzioni relative al JavaScript.


Tra queste opzioni quella che interessa a noi è l’ultima dove ci viene segnalata la directory che contiene tutti i files Javascript personali. Dobbiamo semplicemente inserire il file che abbiamo scaricato e rinominato precedentemente in questa cartella.

Fatto ciò dovremo riavviare Opera, per fare in modo che lo script venga caricato dalla cartella. Et voilà se tutto è andato per il verso giusto adesso dovreste essere in grado di utilizzare tutti gli script di Greasemonkey in Opera.

Via | ghacks
Categorie: Opera
Tags: borwser,  greasemonkey,  guida,  script, 
Potrebbe interessarti anche
Articoli Correlati
Google+ Enhancer: visualizzare notifiche in stile G+ per Gmail, Google Calendar e Google Reader

Google+ Enhancer: visualizzare notifiche in stile G+ per Gmail, Google Calendar e Google Reader

Gli utilizzatori di Google+ avranno senz’altro avuto modo di notarlo: collegandosi ad alcuni servizi Google e dando un’occhiata alla rinnovata toolbar posta nella sezione in alto della pagine web del […]

Google Reader: 5 script per potenziarlo al massimo

Google Reader: 5 script per potenziarlo al massimo

Il trio delle meraviglie è pronto a tornare in campo, ma il calcio non c’entra nulla. Oggi, infatti, torniamo a parlare di tre elementi estremamente cari a tutti noi geek: […]

Come scaricare musica gratis da eSnips

Come scaricare musica gratis da eSnips

Forse in molti non lo sanno, ma l’ottimo servizio di hosting gratuito eSnips è una vera e propria miniera d’oro per quanto concerne la musica. In quest’ultimo, sono infatti disponibili […]

Come passare da 1.000 a 0 e-mail da leggere in una sola giornata

Come passare da 1.000 a 0 e-mail da leggere in una sola giornata

Geek o non geek, studenti o professori, grandi professionisti o persone in cerca di occupazione, ormai quasi tutti hanno a che fare quotidianamente con la posta elettronica, ma talvolta il […]

Come scaricare i video di YouTube in alta definizione

Come scaricare i video di YouTube in alta definizione

Solo qualche giorno fa vi abbiamo segnalato un trucchetto per guardare i video di YouTube in alta risoluzione, ed è quasi subito nato il dilemma: belli, qualità buona, ma come […]

Lista Commenti
Aggiungi il tuo commento

Fai Login oppure Iscriviti: è gratis e bastano pochi secondi.

Nome*
E-mail**
Sito Web
* richiesto
** richiesta, ma non sarà pubblicata
Commento

  • #1Ciny2

    una piccola precisazione: Opera supporta nativamente gli user.js, però gli user.js, devono essere sviluppati per girare ANCHE SU OPERA, cosa che nel bene o nel male, non succede a molti di questi user.js, visto che purtroppo prendono come solo punto di riferimento quella estensione di firefox.

    11 Ago 2008, 1:56 pm Rispondi|Quota
  • #2AbSeNt BuRn

    Nonostante rimanga Firefox il mio Browser predefinito ho avuto modo di apprezzare Opera Browser, purtroppo non c’è molto materiale x eventuali ottimizzazioni , consigli sui widget migliori etc etc, è un peccato non poter sviluppare l’argomento

    grazie x la segnalazione, uso Greasemonkey già da tempo su FF, ha delle notevoli potenzialità e ci sono sempre nuovi interessanti script

    peccato, non funziona più lo script Buttler (script per leggere i libri in google ), sarebbe stato il primo script da inserire

    esce una scritta nella pagina di google dove c’è scritto:
    “What is this Buttler ?”

    11 Ago 2008, 2:22 pm Rispondi|Quota