iceweasel e user.js

[ag <fi3rizi0@gmail.com>]

Il file user.js viene usato per modificare le preferenze di firefox, in
alternativa alla modifica di pref.js.[1][2]

Io lo uso per posizionare la cache in ramdisk
user_pref("browser.cache.disk.parent_directory","/tmp/ag/ff");

Affinché ogni profilo abbia questa preferenza ho seguito quanto indicato
dalla [1]:

> 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.

quindi, quando ho installato squeeze con iceweasel 3.5 ho provveduto ad
aggiungere il file alla directory
/usr/share/firefox/defaults/profile/
e tutto andava per il meglio, poi ho aggiornato a 3.6 da experimental e
non ho più controllato.

In questi giorni ho aggiornato a 4.0[3]
Ho provato a creare un nuovo profilo per fare dei test
iceweasel -P -no-remote
e user.js non veniva copiato.

Un veloce controllo mi ha mostrato che il file era stato spostato in
/etc/iceweasel/profile/

Sapete il perché non vada più questo ''hack''?

grazie


[1]
http://www-archive.mozilla.org/catalog/end-user/customizing/briefprefs.html
[2] http://kb.mozillazine.org/User.js_file
[3] http://mozilla.debian.net/