Italian Firefox Configuration
Suggerimenti e spunti per la redazione di questa guida sono tratti (anche) da:
How to tweak Firefox http://www.ubuntuforums.org/showthread.php?t=38646
Ten Mysteries of about:config http://www.linuxjournal.com/article/8004
Il browser Firefox ed altri programmi della suita Mozilla sono scaricabili gratuitamente (Licenza GPL):
[http://www.mozillaitalia.org] (versione italiana)
Indice
- 1. Accedere alle impostazioni avanzate
- 2. Velocizzare Firefox
- 2.1. Inserire il turbo
- 2.2. Attivare il pipelining
- 2.3. Attivare initialpaint
- 3. Utilizzare temi ed estensioni delle releases più recenti
- 4. Salvare le impostazioni
1. Accedere alle impostazioni avanzate
Per accedere alle impostazioni avanzate del browser, è sufficiente digitate nella barra dell'indirizzo:
about:config [enter]
appare una lunga lista di valori caratterizzati da tre colonne di impostazioni: status, type, e value.
E' anche possibile utilizzare un'applicazione apposita: [http://cdn.mozdev.org/chromedit/ ChromEdit] che consente la ricerca e l'impostazione dei valori.
2. Velocizzare Firefox
2.1. Inserire il turbo
Il primo settaggio che si può modificare è il c.d. turbo di Firefox. Si tratta di un'impostazione avanzata che consente una navigazione molto più veloce. Di default questo valore è settato su "false"; infatti alcuni siti web possono essere visualizzati in modo scorretto, anche se a me non è mai capitato...
Il valore da modificare è:
browser.turbo.enabled
basta cliccare due volte sopra ed il valore passa da "false" a "true"
2.2. Attivare il pipelining
Il secondo settaggio da modificare riguarda il c.d. pipelining. Le stringhe da cercare sono:
- network.http.pipelining
- network.http.proxy.pipelining
- network.http.pipelining.maxrequests
per le prime due stringhe bisogna cambiare il valore da false a true (cliccando due volte sopra la stringa); per la seconda è opportuno impostare un valore diverso da quello di default (4): cliccare due volte sulla stringa, appare una finestra che consente di impostare un nuovo valore, settare al massimo a 34.
Ricapitoliamo:
network.http.pipelining => true network.http.proxy.pipelining => true network.http.pipelining.maxrequests => 34
2.3. Attivare initialpaint
Cliccare col tasto destro del mouse in un punto qualsiasi dell'elenco e selezionare new => integer... chiamarlo "nglayout.initialpaint.delay" ed alla successiva richiesta del valore digitare "0".
3. Utilizzare temi ed estensioni delle releases più recenti
Alcuni bachi di Firefox 1.0.4 per Ubuntu impediscono un utilizzo efficiente della recente release, per questo motivo molti utenti potranno scaricare release precedenti come la 1.0.2. Qualunque sia il motivo che sconsiglia o impedisce l'installazione dell'ultima release di Firefox (comunque consigliata), tuttavia è sempre possibile utilizzare i temi, i plugins e le impostazioni della versione più recente.
Infatti, il programma identifica la propria versione sulla base di una stringa inserita nelle impostazioni avanzate, per accedere a temie ed estensioni è sufficiente modificare questa stringa:
general.useragent.vendorSub
per esempio da 1.0 a 1.0.4, in modo da poter scaricare temi ed estensioni dal sito mozilla.
4. Salvare le impostazioni
Per salvare le impostazioni chiudere Firefox e poi riaprirlo.
