Notizie: scarica ora l'ultima versione disponibile di SeaMonkey!

Autore Topic: browser.cache.disk.parent_directory diverso per ogni utente/profilo  (Letto 1228 volte)

0 Utenti e 1 Visitatore stanno visualizzando questo topic.

Offline DerAngEd_HeRmiT

  • Post: 191
Saluti, ho impostato il valore
Codice: [Seleziona]
browser.cache.disk.parent_directory      /tmp/ff
in modo da sfruttare la ramdisk che ho creato.

Quello che vorrei sapere è se, dato che il pc ha più utenti, è possibile impostare a tutti una diversa cache.

p.s.
la soluzione più semplice, cioè quella di modificare a manina tutti i prefs.js preferirei evitarla, in quanto cerco un metodo più elegante, magari qualcosa del tipo:
modificare /etc/firefox/profile/prefs.js
Codice: [Seleziona]
browser.cache.disk.parent_directory      /tmp/ff/$(whoami)
avete idee?

grazie

Offline klades

  • Moderatore
  • Post: 5788
    • http://www.nic-nac-project.org/~kaosmos
Re: browser.cache.disk.parent_directory diverso per ogni utente/profilo
« Risposta #1 il: 23 Novembre 2010 23:20:38 »
I file con le preferenze "generali" li trovi in [directory di installazione di Firefox]/defaults/pref
I valori che metti lì dovrebbero valere per tutti coloro che non li personalizzano nella propria installazione (diventano cioè i valori di default delle preferenze).
La gerarchia è questa

1) file user.js nella directory utente
2) file prefs.js nella directory utente
3) [directory di installazione di Firefox]/defaults/pref/[vari file].js

Firefox però non supporta assolutamente l'espansione dei comandi della shell e non ha variabili equivalenti.
Per ottenere quel risultato, dovresti scrivere una piccola estensione e installarla "globalmente".

Offline DerAngEd_HeRmiT

  • Post: 191
Re: browser.cache.disk.parent_directory diverso per ogni utente/profilo
« Risposta #2 il: 24 Novembre 2010 01:31:51 »
grazie per la risposta.

Sotto windows ho provato a cercare, ma stringhe come browser.cache* si trovano in:
.../greprefs/all.js

che sotto linux corrisponde a
/usr/share/xulrunner-1.9.2/greprefs/...

il defaults si trova in
/usr/share/firefox/defaults/

Questo mi confonde un po; vuol dire che sotto win xulrunner viene 'pacchettizzato' assieme a firefox?

In ogni caso mi restano due punti da chiarire:

1) al primo avvio, per creare il prefs.js, viene fatto il parsing di tutti i file js nelle directory deaults e greprefs?

2)nel caso voglia delle modifiche permanenti, che resistano agli aggiornamenti, devo creare un file aa,js oppure zz,js? Cioè deve essere il primo o l'ultimo file letto?

grazie

Offline DerAngEd_HeRmiT

  • Post: 191
Re: browser.cache.disk.parent_directory diverso per ogni utente/profilo
« Risposta #3 il: 24 Novembre 2010 12:55:53 »
Forse ho trovato la soluzione.
Leggendo questa pagina
http://www-archive.mozilla.org/catalog/end-user/customizing/briefprefs.html

Citazione
The administrator may alternatively put a user.js file in app_dir/defaults/profile/ ; this will put a copy of the user.js in all new profiles. This method has the advantage of resetting preferences back to administrator defaults at every start-up. Note that, because a user typically has access privilege to his or her profile directory, he or she can change the default values if he or she knows how. Another disadvantage is that existing profiles will not be affected.

sembra quindi che basti mettere il file user.js in
/usr/share/firefox/defaults/

qualcuno può confermare, in quanto la pagina risale al 2007

grazie

Offline Underpass

  • I've got fabric to sell
  • Amministratore
  • Post: 24618
    • Mozilla Italia
Re: browser.cache.disk.parent_directory diverso per ogni utente/profilo
« Risposta #4 il: 24 Novembre 2010 13:00:33 »
Da quello che capisco, app_dir si riferisce alla directory in cui hai installato il browser. Per cui, se lo hai messo in /opt/firefox, il file deve andare in /opt/firefox/defaults/profile.

Offline klades

  • Moderatore
  • Post: 5788
    • http://www.nic-nac-project.org/~kaosmos
Re: browser.cache.disk.parent_directory diverso per ogni utente/profilo
« Risposta #5 il: 24 Novembre 2010 19:24:18 »
Confermo quello che dice Underpass in linea di massima.
Però se hai una versione di Firefox personalizzata per qualche distro, è anche possibile che i file siano organizzati in modo diverso.
Devi comunque fare riferimento a firefox e non a xulrunner.

Offline DerAngEd_HeRmiT

  • Post: 191
Re: browser.cache.disk.parent_directory diverso per ogni utente/profilo
« Risposta #6 il: 24 Novembre 2010 21:40:08 »
perfetto, creato il file
/usr/share/firefox/defaults/profile/user.js

creato un nuovo profilo e tutto funziona.

grazie

0 Utenti e 1 Visitatore stanno visualizzando questo topic.