Autore Topic: personalizzazione mediante user.js  (Letto 586 volte)

0 Utenti e 1 Visitatore stanno visualizzando questo topic.

Offline DerAngEd_HeRmiT

  • Post: 191
personalizzazione mediante user.js
« il: 17 Aprile 2011 23:52:18 »
Scusate, ma per caso la pagina
http://www-archive.mozilla.org/catalog/end-user/customizing/briefprefs.html
con l'uscita di ff4 è obsoleto?

in particolare la parte
Codice: [Seleziona]
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.
Ho provato a scaricare il bz2 dal sito di mozilla, ma la dir defaults/profile non c'è; anche creandola e mettendo dentro il mio user.js il profilo creato non presenta le personalizzazioni richieste.

Capita anche a voi?

Offline flod

  • Amministratore
  • Post: 15057
    • http://www.flod.org
Re: personalizzazione mediante user.js
« Risposta #1 il: 18 Aprile 2011 08:34:53 »
Ho come l'impressione che anche quella cartella sia finita dentro al file omni.jar :?

Offline DerAngEd_HeRmiT

  • Post: 191
Re: personalizzazione mediante user.js
« Risposta #2 il: 18 Aprile 2011 15:25:45 »
come lo verifico?

Offline gialloporpora

  • サンドロ
  • Moderatore
  • Post: 10806
    • Il blog che non c'è
Re: personalizzazione mediante user.js
« Risposta #3 il: 18 Aprile 2011 15:38:52 »
Apri il file omni.jar con un programma di gestione archivi, è un file ZIP.


Offline Iceberg

  • Moderatore
  • Post: 9239
Re: personalizzazione mediante user.js
« Risposta #4 il: 18 Aprile 2011 16:15:44 »
Sì ti confermo che è dentro il file omni.jar

Però anche se metterai in questo file il tuo user.js ho forti dubbi sul fatto che funzioni questa parte: this will put a copy of the user.js in all new profiles in quanto in omni.jar ci sono anche i file userChrome-example.css e userContent-example.css ma creando un nuovo profilo non vengono messi in esso, immagino sarà la stessa cosa per un eventuale user.js... prova.

Offline gialloporpora

  • サンドロ
  • Moderatore
  • Post: 10806
    • Il blog che non c'è
Re: personalizzazione mediante user.js
« Risposta #5 il: 18 Aprile 2011 16:26:30 »
Credo abbia ragione @iceberg, il bug è questo:
https://bugzilla.mozilla.org/show_bug.cgi?id=589056
credo che verrà risolto col prossimo aggiornamento.

Offline DerAngEd_HeRmiT

  • Post: 191
Re: personalizzazione mediante user.js
« Risposta #6 il: 19 Aprile 2011 11:04:07 »
dove lo hai letto?
lo stato del bug è: RESOLVED WONTFIX


Offline gialloporpora

  • サンドロ
  • Moderatore
  • Post: 10806
    • Il blog che non c'è
Re: personalizzazione mediante user.js
« Risposta #7 il: 19 Aprile 2011 11:31:33 »
Non avevo fatto caso al WONTFIX :-(
Quindi mi sembra di capire che non si può più fare quello che vuoi.

Offline DerAngEd_HeRmiT

  • Post: 191
Re: personalizzazione mediante user.js
« Risposta #8 il: 19 Aprile 2011 13:28:15 »
cosa suggerisci di fare?
rispondo al bug, ne apro uno nuovo o desisto dall'impresa?

edit
risposto e chiesto anche su mozillazine
http://forums.mozillazine.org/viewtopic.php?f=38&t=2171867

speriamo
« Ultima modifica: 20 Aprile 2011 03:13:44 da DerAngEd_HeRmiT »

Offline Iceberg

  • Moderatore
  • Post: 9239
Re: personalizzazione mediante user.js
« Risposta #9 il: 19 Aprile 2011 13:50:44 »
Oltre a rispondere al bug un'idea forse un po' fuori di testa.
Da non esperto e parlando a spanne.
Constatato che tanto il file omni.jar lo dovrai smontare e rimontare.
Molto relativamente parlando risolvere il bug non dovrebbe essere difficile.
Mi vien da pensare che da qualche parte ci sarà il file che crea il nuovo profilo.
In questo file diversamente da Firefox 3.6 viene completamente ignorata la cartella defaults/profile.
Basterebbe rimetterci le istruzioni, forse una sola, e il contenuto di questa cartella verrà nuovamente posto in ogni nuovo profilo creato.
Più facile a dirsi che a farsi?

0 Utenti e 1 Visitatore stanno visualizzando questo topic.