Talvolta può succedere che le modifiche effettuate alle opzionipreferenze di Firefox non vengano salvate. Per esempio, si può riscontrare che una modifica alla configurazione effettuata tramite la finestra OpzioniPreferenze è stata riportata al valore precedente alla modifica quando si riapre quella finestra. Le cause e le possibili soluzioni di questo problema possono essere molteplici ed occorre stabilire in primo luogo se il problema è circoscritto ad un insieme di impostazioni o se invece capita indistintamente con qualsiasi impostazione.

Le istruzioni contenute nel presente articolo possono anche essere utili ad eliminare un altro problema che può presentarsi dopo un aggiornamento di Firefox, quando ad ogni successivo avvio del browser compare una scheda col titolo Firefox è aggiornato e in cui si avvisa che Firefox è stato aggiornato all'ultima versione disponibile.

Indice dei contenuti

• Impossibile salvare impostazioni specifiche
• Impostazioni di Firefox modificate da programmi di terze parti
• Impostazioni sovrascritte dal file user.js
• Impossibile salvare qualsiasi impostazione
• File delle preferenze bloccato
• File delle preferenze corrotto

Impossibile salvare impostazioni specifiche

Se è una specifica impostazione viene sempre riportata ai valori di partenza ma ciò non succede invece per le altre impostazioni, è possibile che si stia verificando uno dei problemi descritti di seguitoil problema descritto di seguito.

Impostazioni sovrascritte dal file user.js

Se nessuno dei programmi precedentemente elencati è installato sul computer, oppure se dopo aver seguito le istruzioni riportate il problema continua a presentarsi, potrebbe Potrebbe essere necessario modificare manualmente i file di configurazione.

1. Aprire la cartella del profilo:
   • (Firefox 3.0 e 3.5): leggere Individuare la cartella del profilo.
   1. (Firefox 3.6): dal menu in alto nella finestra di Firefoxsulla barra dei menu fare clic su Aiuto e selezionare Risoluzione dei problemi.... Verrà aperta la pagina di Informazioni per la risoluzione dei problemi in una nuova scheda.
   2. Alla voce Informazioni di base fare clic su Apri cartellaMostra in Finder.
2. Dal menu in alto nella finestra di FirefoxDalla barra dei menu, selezionare FileFirefox e successivamente Esci Esci da Firefox Esci.
3. Aprire il file user.js con un editor di testo (come il Blocco NoteGedit o KateTextEdit).
   • Se il file user.js non è presente, queste istruzioni non sono applicabili.
4. Cancellare tutte le righe per le opzionipreferenze che si vogliono modificare. È possibile cancellare tutte le righe se si vuole essere in condizioni di modificare tutte le opzionipreferenze di Firefox.
5. Salvare il file e chiudere l'editor.

In questo modo dovrebbe essere possibile modificare tutte le impostazioni di Firefox.

Impossibile salvare qualsiasi impostazione

Se non si riesce a modificare nessuna delle preferenze, se la scheda Firefox è aggiornato si apre ad ogni avvio del programma o se le istruzioni riportate in precedenza non sono state risolutive, il file delle preferenze di Firefox potrebbe essere bloccato o corrotto.

File delle preferenze bloccato

Potrebbe essere impossibile scrivere sui file delle preferenze (il prefs.js o, se presente, il file prefs.js.moztmp) perché protetti da scrittura o a causa della presenza di altre copie di sicurezza dei file delle preferenze.

File delle preferenze corrotto

Il file prefs.js potrebbe essere corrotto e quindi impossibile da modificare, impedendo così il salvataggio delle impostazioni di Firefox. È possibile reimpostarlo cancellandolo. Attenzione: questa operazione eliminerà tutte le impostazioni personalizzate di Firefox e anche quelle di molte estensioni.

1. Dal menu in alto nella finestra di FirefoxDalla barra dei menu, selezionare FileFirefox e successivamente Esci Esci da Firefox Esci.
2. Aprire la cartella del profilo di Firefox - leggere Individuare la cartella del profilo.
3. Individuare il file prefs.js e, se presente, anche il file prefs.js.moztmp.
4. Cancellare questi file ed eventuali file di tipo prefs-n.js dove n è un numero (ad esempio: prefs-2.js).
5. Cancellare il file Invalidprefs.js se presente.
6. Riavviare Firefox. Le preferenze dovrebbero essere in questo modo reimpostate ai valori predefiniti.

Questo articolo è basato sulle informazioni contenute in Preferences not saved (mozillaZine KB)