user.js creator ってないんかなあるいは Mozilla アプリのデフォルトの設定を変更する方法。この日の日記は実際には 7月10日に書いています。 Mozilla アプリで同じ設定をバラまきたいMozilla アプリの設定ダイアログとか about:config で「デフォルトから変更したものだけ」を抽出して user.js に書き出してくれるものってないかなぁ。 何に使うかというと、 同じ設定の Mozilla アプリを大量に deploy したい っちゅーことなんですが。prefs.js 直書きしてってもいいんだけど、できれば設定変更してほしくないものを user.js の方に書いておきたいということで、その特定の設定だけ user.js に書き出してほしいわけ。もしくはアカウントごとの設定の部分なんかもうまい具合にスクリプトとかで対処できるといいな。つかスクリプト書けってか。うーん。Mozilla の profi
