Mozilla Firefox è un web browser, ossia un programma per navigare in internet, multipiattaforma e open source. Assieme a Internet Explorer e Google Chrome, è uno dei tre pincipali browser che si spartiscono il mercato della navigazione in internet. La grossa differenza rispetto agli altri due è proprio nel suo carattere open source, ossia aperto a tutti: chiunque ne abbia le capacità, infatti, può collaborare alla realizzazione e al miglioramento di Firefox.
Il vantaggio principale che ha Firefox rispetto ai concorrenti, nonché l’aspetto che più lo distingue dagli altri e lo ha caratterizzato fin dall’inizio, è la possibilità di personalizzarlo e adattarlo alle proprie esigenze. Le estensioni di Firefox sono il modo più semplice per personalizzarlo. Cosa sono le estensioni? Le estensioni (in inglese addon) sono piccoli programmi che un utente può installare all’interno di Firefox e servono per migliorare le capacità di Firefox, o anche per aggiungere funzioni che, normalmente, Firefox non avrebbe. Le estensioni possono servire a bloccare le pubblicità nelle pagine dei siti, a scaricare i video che stiamo guardando, a migliorare la privacy e impedire che un sito possa raccogliere informazioni su di noi, senza che noi lo sappiamo, e così via. Ci sono estensioni di ogni tipo, che ci permettono di fare più o meno tutto quello che vogliamo con Firefox. Come possiamo trovare queste estensioni? Dalla barra degli strumenti di Firefox (ossia quella in alto, con le scritte “File”, “Modifica” eccetera), basta cliccare sulla voce “Strumenti” -> “Componenti aggiuntivi”. Si aprirà una piccola finestra, dove possiamo controllare tutte le estensioni che sono al momento installate nel nostro Firefox. Ovviamente, le troveremo cliccando su “Estensioni”. Cliccando su “Esplora”, sempre in quella finestra, possiamo vedere una lista di estensioni che Firefox ci consiglia; di solito sono le più usate o le più famose. Se qualcuna ci interessa, basta cliccare sul nome per essere portati alla pagina da cui la possiamo scaricare e installare. Se poi vogliamo la lista completa, basta cliccare su “Visualizza tutti i componenti aggiuntivi”, sempre sotto “Esplora”: ci porterà alla pagina in cui sono raccolte tutte le estensioni di Firefox, ordinate per genere e argomento. A quel punto, avremo solo l’imbarazzo della scelta. Cliccando invece su “Temi”, nella parte alta della finestrella, possiamo controllare le diverse grafiche di Firefox che abbiamo già installato, cambiare la grafica di Firefox, oppure andare a cercare nuove grafiche, esattamente come abbiamo già visto per le estensioni. Anche l’aspetto di Firefox è personalizzabile come preferiamo. Quali sono le estensioni più utili? Nel mucchio, non è facile trovare le estensioni più utili, anche se i suggerimenti di Firefox possono darci una mano. presenterò in breve quelle che, a mio parere, sono più utili; molte altre le potrete scoprire voi stessi, facendo un po’ di shopping nel deposito di Firefox. Nota generale: le estensioni e i temi sono gratuiti. Potete scaricarli e installarli senza problemi e senza dover pagare nulla. O almeno, è così per quelle che trovate nel sito ufficiale di Firefox; e sono migliaia. In certi casi, è possibile fare una donazione al creatore dell’estensioni, se si vuole, ma lo si può tranquillamente ignorare e non cambierà nulla.
Adblock Plus
Se non è la più importante, poco ci manca. Avete presente le pubblicità che infestano la maggior parte delle pagine dei siti? Pubblicità di ogni tipo, piacevoli e non, e che spesso rallentano di molto l’apertura di una pagina. Bene, Adblock Plus le blocca tutte. O quasi. Installatelo, tenetelo attivo e potrete vedere finalmente pagine pulite, senza fastidiose pubblicità e senza soprattutto quei fastidiosi banner pubblicitari tra una pagina e l’altra, che vi costringono ad aspettare prima di poter aprire la pagina che interessa a voi. Dopo averlo installato, nell’angolo in alto a destra di Firefox dovreste vedere un segnale rosso di stop, con le lettere “ABP”: è l’icona di Adblock Plus. Cliccatela e potrete modificare le impostazione come preferite; potrete anche disattivarlo per un po’, se avete bisogno di vedere una qualche pubblicità. Tanto, per attivarlo o disattivarlo, basta un click. https://addons.mozilla.org/it/firefox/addon/1865/
Video DownloadHelper
Se siete appassionati di Youtube e altri siti di condivisione video, è l’estensione che fa per voi. Ne avevo già parlato in precedenza e ritorno adesso a parlarne, per un semplice motivo: è probabilmente la più potente e funzionante estensione per scaricare video. La vedrete come tre palline colorate, a sinistra della barra degli indirizzi; quando sono grigie e immobili, significa che in quella pagina non ci sono file multimediali da scaricare. Quando si illuminano e si muovono, vuol dire che c’è qualcosa da scaricare. E come si scarica? Basta cliccare sull’icona e vi apparirà la lista di ciò che potete scaricare: scegliere il file che vi interessa e il gioco è fatto. Non funziona ancora con il 100% dei siti e soprattutto non funziona con gli streaming in diretta (in altri termini, con le trasmissioni tv che state guardando in diretta web), ma funziona con tutti i siti principali che ospitano video registrati: Youtube, Dailymotion, Google Video eccetera. https://addons.mozilla.org/it/firefox/addon/3006/
FacePAD
Una estensione secondaria, ma molto utile per i maniaci di Facebook; per i maniaci delle foto di Facebook, in particolare. Con questa estensione, infatti, è possibile scaricare un intero album fotografico da Facebook: cliccate col tasto destro sul titolo dell’album e, nel menu del mouse, troverete anche l’opzione per salvare l’album sul vostro computer. Se vi piace saccheggiare le foto dei vostri amici, per motivi su cui è meglio non indagare, questa è l’estensione adatta a voi. https://addons.mozilla.org/it/firefox/addon/8442/
Boost for Facebook
Altra estensione secondaria, pensata per i maniaci di Facebook. Grazie a essa, potrete aggiungere altre funzionalità alla vostra pagina di Facebook, di ogni tipo: aggiornamento automatico della pagina, ingrandimento foto al passaggio del mouse, colori, gestione dei messaggi in home e così via. https://addons.mozilla.org/it/firefox/addon/3120/
Greasemonkey
Meriterebbe un capitolo a parte. Di per sé, l’estensione non fa assolutamente nulla: la potete attivare e disattivare, senza che vi siano cambiamenti visibili in Firefox, perché Greasemonkey è in pratica un guscio vuoto. Un guscio vuoto che vi apre mille altre possibilità, buone oppure cattive. Con Greasemonkey, infatti, potete aggiungere a Firefox script creati da voi o da altre persone, con cui è possibile modificare le pagine di un sito, ma anche le funzionalità di un sito. Messa in altri termini, Greasemonkey è un’officina, nella quale è possibile truccare il motore di Firefox. È un elemento molto potente e può anche essere usato per fare danni, a sé e ad altri. Installatelo solo se sapete quello che state facendo. Se non sapete cosa sia uno script, allora è meglio evitare Greasemonkey: potreste fare la fine di Topolino apprendista stregone. https://addons.mozilla.org/it/firefox/addon/748/