Hallo,
leider habe ich in einer Mehrbenutzer-Umgebung mit den oben genannten Firefox-Versionen Probleme mit der user.js:
*Für Default-Einstellungen (Proxy usw.) habe ich als Grundlage für die Nutzer eine user.js angelegt und im Ordner \[firefox home]\defaults\profile abgelegt.
*Wenn ein Benutzer zum ersten Mal Firefox startet wird diese auch brav mit in sein Profil kopiert, aber leider wirken die Einstellungen nicht.
*Auch wenn ich nach Erstellung eines neuen Profils die Datei per Hand in das Profil kopiere, funktioniert es nicht.
*Nur wenn ich als Benutzer selbst die Einstellungen, die auch in der user.js gesetzt werden per Hand in der prefs.js ändere (z.B. durch about:config), dann übernimmt er auch die Einstellungen aus der user.js.
D.h. nur die Attribute die ich bereits per Hand geändert habe, lassen sich mit der user.js überschreiben.
Was also läuft falsch und gibt es eine bessere Möglichkeit Default-Einstellungen wie sie in de ruser.js möglich sind für alle Benutzer zu setzen ?
Vielen Dank!