Ottimizzare Firefox

[LoryOne]

Un apporto che sta a te decidere in base alla tua percezione e conoscenza delle impostazioni proposte, il cui valore può essere differente caso per caso.
E' per questo che si parla di "personalizzazione" in base ad un certo grado di "configurazione".

[LoryOne]

Inviato da luca2

vedo parecchie voci in neretto con i valori da te suggeriti.

Sono in neretto perchè dissimili da quelli di default.

[LoryOne]

Ti dico ancora una cosa e poi chiudo:
Puoi aggiungere anche voci non presenti in lista e che erano ancora valide su versioni obsolete, ma non è detto che la versione attuale le recepisca..."non è detto" non significa di no.

[luca2]

Ho un problema.
Ho cancellato il file user.js e anche prefs.js per verificare se i valori tornassero a quelli di default.
Ma in about:config vedo ancora i valori precedenti modificati (ancora in neretto).
Come mai? E cosa posso fare adesso per ripristinare i valori di default?
Grazie ancora.

[LoryOne]

Ci sono più modi, ad esempio:

Lanciarlo in -safe-mode
about:support
Cliccare Ripristina del menu a tendina sulla voce
...
magari leggere il supporto fornito da Mozilla...

[luca2]

Inviato da LoryOne

Ci sono più modi, ad esempio:

Lanciarlo in -safe-mode
about:support
Cliccare Ripristina del menu a tendina sulla voce
...
magari leggere il supporto fornito da Mozilla...

Si ho seguito questa procedura. Sembra che i valori siano tornati quelli di default, anche se non ho capito il perché ci siano ancora valori in neretto).

Danni collaterali però

La procedura mi ha cannato tutte le impostazioni personalizzate e tutte le estensioni che ho dovuto riscaricare.

[LoryOne]

Non era necessario riscaricare le estensioni.
Dalla cartella del profilo di copia, avresti potuto copiare le cartelle dei plugin all'interno di quella relativa al nuovo profilo.
Al riavvio, FF avrebbe trovato i plugin così come li avevi installati prima del ripristino ed aggiornati se lo avessi fatto prima del ripristino...
Visto che le impostazioni dei plugins finiscono tutte in prefs.js, avresti dovuto solo procedere a riconfigurarli, ma questo è davvero poca cosa.

[luca2]

Inviato da LoryOne

Non era necessario riscaricare le estensioni.
Dalla cartella del profilo di copia, avresti potuto copiare le cartelle dei plugin all'interno di quella relativa al nuovo profilo.
Al riavvio, FF avrebbe trovato i plugin così come li avevi installati prima del ripristino ed aggiornati se lo avessi fatto prima del ripristino...
Visto che le impostazioni dei plugins finiscono tutte in prefs.js, avresti dovuto solo procedere a riconfigurarli, ma questo è davvero poca cosa.

Non lo sapevo. Adesso ho una cartella nel profilo con un nome diverso. Quella precedente deve essere stata cancellata. Pazienza, non fa niente.
Grazie.

[borgata]

Ricorda che user.js viene letto ad ogni avvio di firefox.
Questo significa che se tu decidi di modificare da firefox il valore di uno dei parametri presenti in user.js, al successivo riavvio di firefox questi rileggerà i valori da user.js cancellando la modifica che avevi fatto.
user.js va usato e poi rimosso dal profilo, a meno che tu non voglia rendere "a prova di modifica" qualche preferenza.
Puoi anche crearti il tuo user.js da usare ad ogni nuova installazione di firefox per importare rapidamente alcune particolari preferenze.

Ad ogni modo, prima di fare delle modifiche al profilo, è consigliabile un backup completo del profilo (che puoi fare facilmente copiando da qualche parte la cartella del profilo).

[luca2]

Inviato da borgata

Ricorda che user.js viene letto ad ogni avvio di firefox.
Questo significa che se tu decidi di modificare da firefox il valore di uno dei parametri presenti in user.js, al successivo riavvio di firefox questi rileggerà i valori da user.js cancellando la modifica che avevi fatto.
user.js va usato e poi rimosso dal profilo, a meno che tu non voglia rendere "a prova di modifica" qualche preferenza.
Puoi anche crearti il tuo user.js da usare ad ogni nuova installazione di firefox per importare rapidamente alcune particolari preferenze.

Ad ogni modo, prima di fare delle modifiche al profilo, è consigliabile un backup completo del profilo (che puoi fare facilmente copiando da qualche parte la cartella del profilo).

Quello di fare il backup del profilo è un ottimo consiglio. Grazie