Bene bene bene, dopo un anno di inattività sono tornato! Sarà la volta che sto blog parte seriamente? Chi lo sa! Ma non divaghiamo!
Per tutti gli utenti Ubuntu ansiosi di seguire il processo di sviluppo di Firefox, il team di sviluppatori di Mozilla per Ubuntu ha preparato un repository su launchpad in cui vengono caricati giornalmente i pacchetti precompilati di tutte le versioni in sviluppo. Potete trovare informazioni su questo PPA visitando questa pagina.
Ma veniamo al problema, nella strada che porterà a Firefox 4.0 è prevista l’introduzione di un nuovo gestore degli addon ed a partire da Firefox 3.7a5pre si inizia a vedere questa nuova utility. Il gestore rimane ancora acerbo ma soprattutto impedisce il funzionamento degli script Greasemonkey a cui ultimamente mi sono particolarmente affezionato.
Nonostante l’estensione risulti correttamente installata, nel momento in cui si cerca di installare uno script si ottiene il seguente errore:
Script could not be installed TypeError: Components.classes['@mozilla.org/extensions/manager;1'] is undefined
Per nostra fortuna fixare questo errore è semplicissimo, e l’ho già fatto io per voi.
Scaricate ed installate il pacchetto di Greasemonkey fixato da quì, mi scuso per l’utilizzo di un file hoster esterno ma WP permette l’upload solo di determinati tipi di file.
Ora controllare in Tools->Addons che l’estensione sia stata installata e premete il pulsante per riavviare Firefox così potrete tornare a godervi i comodissimi script di Greasemonkey!
ATTENZIONE!!!
L’estensione pronta da scaricare e la modifica suggerita funzionano solo sulla versione 3.7a5pre non utilizzateli per alcun motivo con una versione differente.
Per chi invece vuole fixare il problema con le proprie manine è sufficiente modificare il file config.js che si trova dentro la cartella content nella cartella dell’estensione (tra i file del profilo di firefox), alla riga 414.
Sostituite:
var extMan = Components.classes["@mozilla.org/extensions/manager;1"]
.getService(Components.interfaces.nsIExtensionManager);
var item = extMan.getItemForID(GM_GUID);
GM_prefRoot.setValue(“version”, item.version);
con:
Components.utils.import(“resource://gre/modules/AddonManager.jsm”);
AddonManager.getAddonByID(“{e4a8a97b-f2ed-450b-b12d-ee082ba24781}”, function(addon) {
GM_prefRoot.setValue(“version”, addon.version)
});
A questo punto salvate, riavviate Firefox 3.7 e gustatevi nuovamente Grasemonkey!
Al prossimo articolo!
