Topic: Inserimento/modifica delle preferenze utente

[Underpass]

Configurazione avanzata: "about:config"

Non tutte le opzioni disponibili in Firefox sono accessibili e modificabili mediante il pannello "Strumenti → Opzioni..." (o "Modifica → Preferenze..." su Linux e "Firefox → Preferenze..." su Mac).
Come è possibile modificare/aggiungere opzioni nascoste?

Ci sono due possibili soluzioni:
1. operare graficamente, tramite l'editor della configurazione;
2. operare manualmente, modificando i file di configurazione.

In questo post verrà trattato il primo metodo, mentre in quello successivo verrà trattato il secondo.

L'editor della configurazione
L'editor della configurazione, meglio conosciuto come "about:config" è un'interfaccia grafica che permette di visualizzare modificare ed aggiungere i parametri di configurazione nascosti.
[immagine rimossa causa spam del fornitore]


Per accedere all'editor della configurazione è sufficiente digitare il comando about:config nella barra degli indirizzi e successivamente premere il tasto Invio.
I parametri ed i loro valori sono elencati in una tabella a quattro colonne, così suddivise:

• Nome Parametro: il nome con cui è indicato il parametro
• Stato: mostra se il valore del parametro è quello predefinito del programma oppure è stato modificato dall'utente (personalizzato)
• Tipo: può essere:

• Booleano: vero o falso (true o false)
  
• Intero: valore numerico
  
• Stringa: valore testuale
  

• Valore: il valore assunto dal parametro

Facendo clic sull'intestazione di ogni colonna, è possibile ordinare la tabella a seconda del nome, dello stato, del tipo, oppure del valore.

Modifica di una preferenza esistente
Per prima cosa bisogna individuare il parametro di cui si vuole modificare il valore. Per far questo, è possibile digitare il nome della preferenza, o parte di esso, nel campo "Filtro". Verrà mostra la sola preferenza desiderata, oppure tutte quelle che contengono la stringa immessa come filtro.
A questo punto, basta fare clic sul valore per modificarlo.
Per rendere operativa la modifica, è necessario riavviare Firefox.

Aggiunta di una nuova preferenza
Per aggiungere una nuova preferenza, effettuare un clic destro con il mouse in un qualunque punto della lista visualizzata, selezionare "Nuovo" e quindi il tipo che, come si è già detto, può essere "intero", "booleano" oppure "stringa".



A questo punto appariranno dei moduli di immissione testo in cui andranno inseriti rispettivamente il nome ed il valore del nuovo parametro.
Per rendere operativa la modifica, è necessario riavviare Firefox.

Rimuovere una preferenza
Le preferenze che assumono valore diverso da quello predefinito (e quelle aggiunte) sono immediatamente riconoscibili perché appaiono visualizzate in grassetto.
Per ripristinare il valore di una preferenza a quello predefinito (o per rimuovere una preferenza aggiunta), effettuare un clic destro con il mouse sulla preferenza e selezionare "Azzera".
Per rendere operativa la modifica, è necessario riavviare Firefox.

Nota
Le preferenze visualizzate in about:config sono quelle contenute nei file di configurazione del programma, e nei file di configurazione utente: prefs.js e user.js, contenuti nel profilo.

[miki64]

Configurazione avanzata: "about:config"

Come abbiamo visto nel post precedente, è possibile modificare le preferenze nascoste di Firefox attraverso about:config.
In questa FAQ si parlerà dei file in cui le preferenze vengono salvate e della possibilità di modificarle editando questi file.

Prefs.js
Tutte le impostazioni di configurazione del programma effettuate sul profilo in uso tramite about:config o pannello delle opzioni vengono salvate nel file prefs.js (contenuto nel profilo).
Se, ad esempio, si sceglie di cambiare il comportamento predefinito delle schede nella finestra del menu "Strumenti → Opzioni → Schede", Firefox registrerà queste scelte modificando opportunamente il file prefs.js.
Anche alcune estensioni possono salvare le proprie impostazioni in questo file.

Il formato delle impostazioni salvate ha la seguente sintassi:

Codice: [Seleziona]

user_pref("NOME_PARAMETRO", VALORE_PARAMETRO);
Sebbene questo file sia un normale file di testo visualizzabile con un comune editor, si consiglia vivamente di non modificarlo direttamente: in caso di errori, si corre il rischio di danneggiare il profilo di Firefox.
Per modificare il prefs.js viene di solito utilizzato, come già visto, il comando about:config (l'editor della configurazione infatti non è altro che l'interfaccia grafica per editare il file prefs.js) oppure si adopera il file user.js.

User.js
Questo file di norma non esiste, va dunque creato manualmente e posizionato all'interno della cartella del profilo.
All'avvio Firefox legge preferenze contenute in user.js e le riporta nel file prefs.js (di cui ha la stessa sintassi), sovrascrivendo i valori eventualmente già esistenti.
Quindi, dal momento che le preferenze impostate tramite user.js vengono rilette ad ogni avvio del programma, esse non possono essere eliminate reimpostando il valore tramite about:config, ma solo ed esclusivamente attraverso una ulteriore modifica dell'user.js (vedi oltre).

Il vantaggio dell'utilizzo di questo file rispetto all'editor di configurazione about:config è che le preferenze in esso contenute possono essere portate con minimo sforzo su un altro profilo, copiando semplicemente il file da un profilo all'altro.

Nota: per editare l'user.js si consiglia l'uso di programmi specifici per la scrittura di codice, come SciTE o Notepad++, in quanto permettono di evidenziare la sintassi, facilitando quindi l'operazione.
Esistono inoltre varie estensioni che permettono di modificare l'user.js direttamente da Firefox.
Tra queste segnaliamo: Chrome Edit Plus e Edit Config Files (controllare sempre se l'estensione è compatibile con la propria versione di Firefox).

Come creare il file user.js
Il file user.js è un semplice file di testo, con estensione .js.
Deve essere creato all'interno della cartella del profilo come qualsiasi file di testo, impostando l'estensione .js anziché .txt.

Nota per gli utenti Windows: per poter impostare l'estensione del file è necessario poter visualizzare le estensioni per i tipi di file conosciuti, seguendo questa semplice procedura:

1. aprire "Esplora Risorse" (basta fare clic sull'icona Risorse del Computer) e selezionare il menu "Strumenti → Opzioni cartella... ";
2. nella scheda "Visualizzazione" togliere la spunta a "Nascondi le estensioni per i tipi di file conosciuti";



3. nella cartella del profilo, dal menu selezionare: "File → Nuovo → Documento di testo".
4. verrà creato un file dal nome "Nuovo documento di testo.txt";
5. rinominare il file in "user.js" (apparirà una richiesta di conferma per il cambio di estensione del file - fare clic su "Sì").

La sintassi da utilizzare
La sintassi da utilizzare per impostare una preferenza nell'user.js è la stessa che viene utilizzata dal prefs.js, ricordando che una singola preferenza utente consiste in un nome ed un valore ad essa assegnato:

Codice: [Seleziona]

user_pref("NOME_PARAMETRO", VALORE_PARAMETRO);
I valori, come si è già detto, possono essere di tre tipi:

• Booleano: vero o falso (true o false)
• Intero: valore numerico
• Stringa: valore testuale

A questo punto sono utili alcune precisazioni:

• ogni preferenza da inserire deve essere preceduta dal comando user_pref e terminare con il segno di ";" (punto e virgola);
• ciascuna preferenza deve occupare una singola riga del file;
• se il parametro è di tipo stringa, allora il suo valore andrà racchiuso tra virgolette:

Codice: [Seleziona]

user_pref("PARAMETRO_STRINGA", "VALORE_PARAMETRO");

• se il parametro è di tipo booleano o intero, allora il suo valore non va racchiuso tra virgolette;
• in ambiente Windows, se il valore di una stringa contiene il percorso di una cartella, esso dovrà essere scritto usando la doppia barra rovesciata (backslash) al posto di quella singola:

Codice: [Seleziona]

user_pref("PERCORSO_DIRECTORY", "C:\\Percorso\\Cartella");
Per completare la panoramica sulla sintassi, è utile ricordare che le linee che iniziano con una doppia barra (slash) // sono interpretate come commenti, il che significa che tutto il testo inserito di seguito sulla stessa riga viene ignorato. Sono quindi particolarmente utili per tenere traccia delle personalizzazioni aggiunte e descrivere il significato delle varie opzioni.

Ecco un semplice esempio:

Codice: [Seleziona]

// Impostazioni Firefox
// Disattiva gli aggiornamenti automatici
user_pref("app.update.enabled=false", false);

// Chiedi dove salvare ogni file
user_pref("browser.download.useDownloadDir", false);

// Imposta la cartella di download
user_pref("browser.download.dir", "C:\\Download");

// Imposta la dimensione della cache (100 MB)
user_pref("browser.cache.disk.capacity", 100000);

// Impostazioni Estensioni
// MinimizeToTray – Minimizza sempre nella tray
user_pref("extensions.minimizetotray.always", true);

Come eliminare una preferenza
Per annullare una preferenza impostata mediante il file user.js, bisogna:
1. cancellare o commentare la riga contenente l'opzione;
2. riavviare Firefox;
3. azzerare l'opzione tramite about:config.

Ulteriori riferimenti, in inglese, su MozillaZine.