Extensions per Firefox [thread ufficiale]

[skryabin]

Originariamente inviato da espanico

ok, un domanda che differenza allora c'è tra un estensione e uno script, quali sono i vantaggi di uno o di un altra? c'è qualche lista di script consigliati?

una estensione la installi in firefox, viene aggiunta alla lista di addons installati e magari installa pure un bel menu per settarne le opzioni (con relativa occupazione di risorse magari)
uno script lo installi in greasemonkey, è puro codice ridotto all'osso, solo raramente negli script più complessi ci stanno un minimo di opzioni da settare...

una estensione può servire in genere per fare tante cose, di solito modifica o aggiunge funzionalità al programma firefox che liscio non possiede (comportamento dei tabs, gestione dei segnalibri, ecc ecc), ma ci sono anche estensioni che agiscono a livello di contenuti web (quelle del tipo better gmail per citare forse la più famosa assieme a customize google forse)
gli script greasemonkey (che si trovano per esempio su userscripts.org) invece agiscono solo a livello codice delle pagine web, quindi operano solo sul contenuto web.

Tra l'avere tante piccole estensioni installate in firefox (better gmail, better greader, customize google, ecc ecc) che agiscono sui contenuti web, e avere solo il piccolo GM installato con tanti script al seguito che fanno le stesse cose delle estensioni preferisco la seconda alternativa.
E poi ci sono tantissime cose per cui non esistono estensioni fatte apposta.
Faccio un esempio, prima si discuteva sul fatto che quando clicchi su una thumbnail di google immagini ti si apre la pagina del sito dove è contenuta l'immagine, con ovvia perdita di tempo poi per andarsi a sfogliare tutta la pagina e trovarla; esiste un piccolissimo script di una decina di righe di codice che cambia tale comportamento cosicchè quando clicchi sulla thumbnail di google immagini ti si apre direttamente l'immagine. GM torna utilissimo per questo genere di fine tuning, per i dettagli è il massimo, sarebbe veramente ridondante installarsi una estensione intera per fare la stessa piccola cosa

[espanico]

ok, grazie credo di aver capito, in pratica GM utilizza script per modificare il contenuto dei siti , mentre l'estensione puo modificare un contenuto del sito oppure una funzione del programma, giusto? adesso do un occhiata al sito che hai scritto vedo se trovo qualcosa di utile

Grazie per la disponibilità

[skryabin]

Originariamente inviato da espanico

ok, grazie credo di aver capito, in pratica GM utilizza script per modificare il contenuto dei siti , mentre l'estensione puo modificare un contenuto del sito oppure una funzione del programma, giusto? adesso do un occhiata al sito che hai scritto vedo se trovo qualcosa di utile

Grazie per la disponibilità

si, il nocciolo della questione è che molte estensioni che agiscono sui contenuti o sulle funzioni di determinati siti possono essere soppiantate da una singola estensione, greasemonkey, caricando gli script opportuni.
Script che ovviamente avrai capito si "autoattivano" sul sito per i quali sono stati scritti (anche se cio' non toglie che alcuni script possano essere pensati per agire su tutti i siti, ma in genere ogni script riconosce una lista di domini e si attiva solo quando ci si trova su uno di questi)

[kwb]

Perchè non facciamo una lista degli script più utili per greasemonkey?

[espanico]

Originariamente inviato da skryabin

si, il nocciolo della questione è che molte estensioni che agiscono sui contenuti o sulle funzioni di determinati siti possono essere soppiantate da una singola estensione, greasemonkey, caricando gli script opportuni.
Script che ovviamente avrai capito si "autoattivano" sul sito per i quali sono stati scritti (anche se cio' non toglie che alcuni script possano essere pensati per agire su tutti i siti, ma in genere ogni script riconosce una lista di domini e si attiva solo quando ci si trova su uno di questi)

capito, infatti ho notato che lo script quelle delle immagini che si parlava qualche post fa, funziona solo su determinati siti...

Originariamente inviato da kwb

Perchè non facciamo una lista degli script più utili per greasemonkey?

sarebbe molto utile sopratutto per utenti come me che sia avvicinano solo ora a questa estensione...

[skryabin]

basta spulciare userscripts.org e vedere gli script piu' installati, con più fan o commenti, per farsi una prima infarinatura...provarne uno alla volta (cercando di non sovrapporli, ovvero stando attenti a non usare script che agiscono sulla stessa pagina, e se proprio non si può evitare fare molta attenzione) è la miglior cosa, ognuno ha abitudini e preferenze di navigazione diverse.

[Borghysub]

Originariamente inviato da skryabin

Tra l'avere tante piccole estensioni installate in firefox (better gmail, better greader, customize google, ecc ecc) che agiscono sui contenuti web, e avere solo il piccolo GM installato con tanti script al seguito che fanno le stesse cose delle estensioni preferisco la seconda alternativa.

E infatti grazie a te sto rimuovendo pian piano le estensioni sostituendole con script...

Originariamente inviato da kwb

Perchè non facciamo una lista degli script più utili per greasemonkey?

Secondo me sarebbe come fare una lista delel estensioni di FF...
Io, in base alle esigenze, prima cercavo le estensioni, ora cerco gli script.. E infatti sto rimuovendo le estensioni x' credo ceh gli script siano + leggeri e flessibili..

Ciao

[jeff75]

Originariamente inviato da skryabin

si, va anche su google immagini, provato proprio adesso...stai attento che non ci sia qualche altro script che interferisca su google immagini.

Si infatti andava in conflitto con Direct Linker, ho quindi escluso la pagina di google images da questo script.
Però invece di Greased Lightbox ho installato Google Image Search Direct Links, di cui esiste una versione moddata che è Google Image Relinker Mod. Li trovo più pratici di Greased Lightbox.
PS: di quelli che ho linkato sopra attivatene uno alla volta per evitare conflitti.

[jeff75]

Per chi usa greasemonkey e i suoi scripts consiglio l'utilissimo Userscripts Updater,
che segnala quando i vostri scripts vengono aggiornati.

[kwb]

Originariamente inviato da espanico

sarebbe molto utile sopratutto per utenti come me che sia avvicinano solo ora a questa estensione...

Più che altro per scoprire qualcosa di nuovo e di utile

Originariamente inviato da skryabin

basta spulciare userscripts.org e vedere gli script piu' installati, con più fan o commenti, per farsi una prima infarinatura...provarne uno alla volta (cercando di non sovrapporli, ovvero stando attenti a non usare script che agiscono sulla stessa pagina, e se proprio non si può evitare fare molta attenzione) è la miglior cosa, ognuno ha abitudini e preferenze di navigazione diverse.

Il problema è appunto spulciarli e avere il tempo di farlo...

Originariamente inviato da Borghysub

Secondo me sarebbe come fare una lista delel estensioni di FF...
Io, in base alle esigenze, prima cercavo le estensioni, ora cerco gli script.. E infatti sto rimuovendo le estensioni x' credo ceh gli script siano + leggeri e flessibili..

Ciao

Bhe, ma voglio dire, come per le estensioni ci sono i MUST ( adblock, no script, tmp ecc... ), non vedo perchè non ci possano essere i MUST anche per gm

Originariamente inviato da jeff75

Per chi usa greasemonkey e i suoi scripts consiglio l'utilissimo Userscripts Updater,
che segnala quando i vostri scripts vengono aggiornati.

Grazie. Servirebbe un'estensione/script tipo foxmark ma per gli script. Ricordarseli tutti a memoria da un pc all'altro per reinstallarli risulta difficile.


Ma poi, l'effettiva leggerezza degli script rispetto alle estensioni è vera? È stata provata?

[jeff75]

Mah, il fatto è che lo script, nella maggior parte di casi, è finalizzato ad una sola operazione e (soprattutto) non presenta nessuna interfaccia. Ragion per cui può risultare più leggero. Ma non è sempre così.
Ad esempio, si può sostituire l'add-on CustomizeGoogle con una serie di scripts che ad uno ad uno fanno quello che fa il primo, ma a conti fatti l'impiego della cpu non credo sia di molto inferiore.
In fin dei conti l'estensione non è altro che un insieme di istruzioni che agiscono sul browser, proprio come uno script.
Tra l'altro esiste anche la possibilità di creare un estensione prendendo uno script di greasemonkey

[Gunny Highway]

Originariamente inviato da skryabin

funziona anche quella. Vai su deviant art e clicca su una immagine per esempio...ma funziona anche su altri siti dove son presenti immagini.

mi sa che è preso un altra versione? è possibile ? nn fa niente .. su sito ci son 3 scripts con lo stesso nome

[skryabin]

Originariamente inviato da kwb

Grazie. Servirebbe un'estensione/script tipo foxmark ma per gli script. Ricordarseli tutti a memoria da un pc all'altro per reinstallarli risulta difficile.

gli script installati stanno in
C:\Users\*utente*\AppData\Roaming\Mozilla\Firefox\Profiles\*nomeprofilo*\gm_scripts

per passarli da un profilo ad un altro basta copiarli.

Ma poi, l'effettiva leggerezza degli script rispetto alle estensioni è vera? È stata provata?

leggerezza o non leggerezza, poi alla fine come impegno cpu è ipotizzabile che impattino allo stesso modo di una estensione che fa la stessa cosa, il discorso è più complesso.
Parto dal presupposto che GM ce l'ho installato per fare delle cose per cui non esistono delle estensioni, e quindi non ne posso fare a meno.
Ora, partendo da cio', cioe' che GM lo tengo installato a priori, se mi serve di installare una ulteriore estensione che fa delle cose in particolare ma le stesse cose sono fattibili tramite script, prima di installarla vedo se esiste lo script ed evito di aggiungere una ulteriore estensione che magari tra le varie e tante opzioni ha della roba che mai usero'.
Come dice jeff75 gli script spesso sono molto "specifici", fanno una certa cosa in particolare e basta, anche questo contribuisce alla "leggerezza".
A partire dagli script si possono creare estensioni stand alone; per esempio le estensioni del gruppo "better" (better gmail, greader, e compagnia bella) sono fatte esattamente cosi', mixando un bel gruppetto di script GM in una estensione stand-alone. Poi di tutti gli script presenti in queste estensioni ne andrei ad usare nemmeno la metà, quindi avendo già GM installato mi installo solo gli script che effettivamente mi servono

[skryabin]

Originariamente inviato da Gunny Highway

mi sa che è preso un altra versione? è possibile ? nn fa niente .. su sito ci son 3 scripts con lo stesso nome

va presa sempre la versione più recente, perchè sti script devono tenersi aggiornati...
prendila da qua: http://shiftingpixel.com/lightbox/

[kwb]

Originariamente inviato da skryabin

gli script installati stanno in
C:\Users\*utente*\AppData\Roaming\Mozilla\Firefox\Profiles\*nomeprofilo*\gm_scripts

per passarli da un profilo ad un altro basta copiarli.

Ok grazie! Su Linux invece?

Originariamente inviato da skryabin

leggerezza o non leggerezza, poi alla fine come impegno cpu è ipotizzabile che impattino allo stesso modo di una estensione che fa la stessa cosa, il discorso è più complesso.
Parto dal presupposto che GM ce l'ho installato per fare delle cose per cui non esistono delle estensioni, e quindi non ne posso fare a meno.
Ora, partendo da cio', cioe' che GM lo tengo installato a priori, se mi serve di installare una ulteriore estensione che fa delle cose in particolare ma le stesse cose sono fattibili tramite script, prima di installarla vedo se esiste lo script ed evito di aggiungere una ulteriore estensione che magari tra le varie e tante opzioni ha della roba che mai usero'.
Come dice jeff75 gli script spesso sono molto "specifici", fanno una certa cosa in particolare e basta, anche questo contribuisce alla "leggerezza".
A partire dagli script si possono creare estensioni stand alone; per esempio le estensioni del gruppo "better" (better gmail, greader, e compagnia bella) sono fatte esattamente cosi', mixando un bel gruppetto di script GM in una estensione stand-alone. Poi di tutti gli script presenti in queste estensioni ne andrei ad usare nemmeno la metà, quindi avendo già GM installato mi installo solo gli script che effettivamente mi servono

Bhe, alla fine io ho cercato ma tra le poche estensioni che utilizzo, nessuna è rimpiazzabile da script

[skryabin]

Originariamente inviato da kwb

Ok grazie! Su Linux invece?

booooooh
di sicuro sta dentro la directory del profilo, bisogna vedere il profilo in linux dove sta...

Bhe, alla fine io ho cercato ma tra le poche estensioni che utilizzo, nessuna è rimpiazzabile da script

Quali sono? visto che son poche...
Vale in entrambi i sensi la considerazione:
- esistono script per i quali non ci sono estensioni
- esistono estensioni non rimpiazzabili da script
ma esistono anche estensioni rimpiazzabili da script, quindi se ti trovi già installato GM forse è meglio installare lo script piuttosto che una nuova estensione

[andrea.ippo]

Originariamente inviato da kwb

Ok grazie! Su Linux invece?

la directory del profilo dovrebbe stare in /home/.mozilla (è nascosta)

[kwb]

Originariamente inviato da skryabin

booooooh
di sicuro sta dentro la directory del profilo, bisogna vedere il profilo in linux dove sta...

Originariamente inviato da andrea.ippo

la directory del profilo dovrebbe stare in /home/.mozilla (è nascosta)

Bene grazie

[Ignorante Informatico]

Ciao a Tutti

Qualcuno ha mai usato il Flash Player rilasciato in pacchetto XPI da Adobe? Se sì, vi ha creato problemi?

[scassermps]

Ciao ragazzi,

da qualche giorno/settimana uso pdf download ... ma se sono in una pagina in cui vi è richiesto il login a volte non mi funziona ... qualcun altro ha riscontrato questo problema?
Eventuali soluzioni?