Traduzioni di questa pagina:

Cosa è e dove trovo il file user.js?

  • Nel file user.js vengono salvate le preferenze dell'utente di Firefox e si trova nella cartella del profilo.
  • Tale file non esiste di default, perciò dovrà essere creato prima di iniziare ad aggiungere le proprie preferenze.

NB: Tutte le modifiche apportate a tale file devono essere fatte con Firefox chiuso 1)2)
[tratto da mozillaitalia.org]

Le stesse modifiche possono essere effettuate direttamente dall'editor di configurazione di Firefox.
La differenza tra usare il file user.js e l'editor di configurazione è che nel primo caso le personalizzazioni si trovano tutte dentro al file, quindi puoi vederle tutte con un click, inoltre se vuoi creare un nuovo profilo mantenendo le personalizzazioni collezionate nel corso del tempo basta copiare il file user.js nel nuovo profilo. Con l'editor di configurazione le modifiche sono più rapide, ma è più difficile recuperarle e non si possono spostare da un profilo ad un altro.

1)
In caso di problemi controllate con il task manager che non vi siano eventuali copie di Firefox in memoria
2)
Grazie all'estensione MR Tech's ToolKit) (ex MR Tech's Local Install è possibile modificare il file user.js direttamente da Firefox andando sul menù StrumentiModifica i file di configurazioneModifica user.js
Questo sito Web utilizza i cookie. Utilizzando il sito Web, l'utente accetta la memorizzazione dei cookie sul proprio computer. Inoltre riconosci di aver letto e compreso la nostra Informativa sulla privacy. Se non sei d'accordo, lascia il sito.Maggiori informazioni sui cookie
 
firefox/configurazione/il-file-user.js-del-profilo-di-mozilla-firefox.txt · Ultima modifica: 2014/05/16 14:05 da 127.0.0.1 · [Revisioni precedenti]
Recent changes RSS feed Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki