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!

Facciamo prima un po’ di chiarezza.

Cosa è “Medibuntu”?

Direttamente dal wiki italiano leggiamo:

“Medibuntu (Multimedia, Entertainment & Distractions In Ubuntu) è un repository di pacchetti che non sono inclusi nella distribuzione Ubuntu per ragioni di licenza. “

Quali Software si trovano in questo Repository?

Tra i software più usati si trovano:

• Skype
• Adobe Reader
• Google Earth
• MPlayer
• Real Player

Come si abilita il repository Medibuntu?

Abilitare il repository è di una semplicità incredibile infatti bastano 2 semplici comandi per ottenere il risultato.

Il primo comando, serve per inserire tra le chiavi di autenticazione GPG di sistema quella di Medibuntu:

wget -q http://packages.medibuntu.org/medibuntu-key.gpg -O - | sudo apt-key add -

Il secondo comando, dipende dalla versione che state utilizzando, il formalismo è il seguente:

sudo wget http://www.medibuntu.org/sources.list.d/NOME_VERSIONE.list -O /etc/apt/sources.list.d/medibuntu.list

Quello che dovrete fare è sostituire a NOME_VERSIONE l’aggettivo dell’animale che compone il nome della versione che state utilizzando.

Per semplicità ecco i comandi per la versione in sviluppo (9.04), l’ultima stabile (8.10) e l’ultima release LTS (8.04)

Ubuntu 9.04 Jaunty Jackalope:

sudo wget http://www.medibuntu.org/sources.list.d/jaunty.list -O /etc/apt/sources.list.d/medibuntu.list

Ubuntu 8.10 Intrepid Ibex:

sudo wget http://www.medibuntu.org/sources.list.d/intrepid.list -O /etc/apt/sources.list.d/medibuntu.list

Ubuntu 8.04 Hardy Heron (Ultima versione LTS) :

sudo wget http://www.medibuntu.org/sources.list.d/hardy.list -O /etc/apt/sources.list.d/medibuntu.list

Ora che ho installato i repository come installo i programmi?

Semplicissimo! Ora che il repository è installato puoi trovare tutti i pacchetti nel tuo gestore di pacchetti preferito ( Synaptic, Adept, KPackegKit, etc…)

Alcuni pacchetti consigliati:

Oltre ai software elencati sopra questo repository contiene codec e plugin molto utili, personalmente consiglio l’installazione del meta-pacchetto ubuntu-restricted-extras ( kubuntu-restricted-extras per KUbuntu o xubuntu-restricted-extras per XUbuntu ) che contiene permette l’installazione di gran parte dei codec audio/video e dei plugin che si usano quotidianamente.

Agli utilizzatori di Ubuntu 9.04 Jaunty Jackalope amd64 che intendono installare questo pacchetto aggiungo un altro consiglio, visto che finalmente a partire da questa versione è disponibile il plugin java ( quello per visualizzare le applet, per intenderci ) in forma nativa e non più wrappato sulle librerie a 32 bit. Il consiglio consiste nel disinstallare, dopo aver installalo ubuntu-restricted-extras, il pacchetto icedtea6-plugin con tutte le dipendenze e installare al suo posto, il (secondo me) più performante sun-java6-plugin. Per gli utenti più avezzi all’utilizzo del teminale ecco il comando che installa direttamente tutti i pacchetti corretti senza dover rimuovere icedtea.

sudo apt-get install gstreamer0.10-plugins-ugly gstreamer0.10-plugins-ugly-multiverse ttf-mscorefonts-installer flashplugin-nonfree sun-java6-plugin unrar gstreamer0.10-plugins-bad gstreamer0.10-plugins-bad-multiverse gstreamer0.10-ffmpeg libavcodec-unstripped-52 sun-java6-jre

L’intento principale sarà quello di condividere con tutta la blogosfera quelli piccole pillole di conoscenza che escono fuori dalla mia mente ( magari anche un po’ malata ;D )

A presto quindi con i primi articoli!