|
|
|
テクというより環境設定の小ネタですが･･･。 Profilesフォルダに“user.js”というファイルを作り，そちらに下記の書式で記入します。 user_pref("browser.startup.homepage", "http://www.google.co.jp/firefox"); そうすると，例えば上記の場合スタートページが“http://www.google.co.jp/firefox”に設定されます｡ということで，Profileを作り直す場合（バージョンアップ時等）に最低限の設定を省力化できたりします｡ 自分の場合･･･， user_pref("browser.cache.disk.capacity", 16384); user_pref("browser.history_expire_days", 7); user_pref("browser.startup.homepage", "http://www.google.co.jp/firefox"); user_pref("font.default", "sans-serif"); user_pref("font.minimum-size.ja", 10); user_pref("font.minimum-size.x-western", 10); user_pref("font.name.monospace.ja", "MS UI Gothic"); user_pref("font.name.sans-serif.ja", "ＭＳ ゴシック"); user_pref("font.name.serif.ja", "ＭＳ 明朝"); user_pref("font.size.fixed.ja", 14); user_pref("font.size.fixed.x-western", 14); user_pref("font.size.variable.ja", 14); user_pref("font.size.variable.x-western", 14); という風に記述して，キャッシュの量，履歴を残す日数，スタートページ，フォント設定を設定してます。 ただし，このファイルを入れたままにしておくと，起動ごとにユーザー設定ファイル“prefs.js”の該当部分を書き換えるので，Firefoxで設定したものも変わってしまうのでご注意を･･･。 一応，参考までに･･･｡ prefs.js･･･ユーザ設定全般 - 詳しい情報を見るには，アドレスバーに about:config と入力してください。 user.js･･･Mozilla 起動後に prefs.js に書き込まれるユーザ設定 |
