朝顔日記

Pop or Die | たまねぎブラウザ或いはすっぴんFx～続・Firefox のプロファイル壊した にて、渦さんが拡張入れるのまんどくさい、みたいなことを書いておられるし、Firefox 1.5 の正式リリースもまじかに迫り、Firefox 1.0系から 1.5系への乗り換えの際に同じようなことで悩まれる方も多いと思うので、新たにプロファイルを作った際にどうやったら楽に拡張がインストールできるか私がやっているやり方を書いてみましょう。

従来行われている、Firefox に拡張をインストールする方法は大きく分けてふたつあります。ひとつは、拡張配布サイトでクリックしてインストールする方法。もうひとつは、ローカルに保存した拡張のファイルを Firefox へドラグアンドドロップしたり、ファイルメニューの「ファイルを開く」から、拡張ファイルを開くことでインストールする方法です。

実は、Firefox 1.5 以降はこれら以外の方法も用意されています。Extension Manager Changes あるいは、その邦訳、[Inside Firefox] 拡張マネージャの変更 には、以下のように書いてあります。以下、[Inside Firefox] 拡張マネージャの変更 より引用。

• インストール場所に関係した場所にXPIをドロップするだけで拡張を簡単にインストールできるようになる。例えばfoo.xpiをprofile\extensionsにドロップすれば、次回起動時には自動的にインストールされた状態になる。これによりセットアップが簡単になる。

  You will be able to install extensions by simply dropping their XPIs into containment relationship Install Locations (e.g. drop foo.xpi into profile\extensions and have it be installed automatically on next start) - this should be a boon for quick setup.

• インストール場所にそのGUIDのフォルダを作成・削除するだけで、拡張を簡単にインストール・アンインストールできるようになる。エントリを作成・削除すれば、拡張システムが次回起動時に食い違いに気付き、アイテムの設定変更・削除を行う。

  You will be able to install and uninstall Extensions by simply adding and removing their GUID folders from the Install Locations - if you add/remove an entry, the Extension system will notice the discrepancy on the next start and configure/remove the item.

インストール場所に関係した場所にXPIをドロップする というのは、要するにプロファイルディレクトリの extensions ディレクトリに拡張ファイルをコピーすればいいよということですね。また、インストール場所にそのGUIDのフォルダを作成・削除するだけで、拡張を簡単にインストール・アンインストールできるようになる。 というのは、インストールされて展開された形のものを プロファイルの extensions ディレクトリにコピーしてもいいよということです。これはかなり便利な機能です。

新規プロファイルを作った場合に、簡単に拡張をインストールするには、Firefox の既存のプロファイルの extensions ディレクトリから GUID ディレクトリ、例えば {9669CC8F-B388-42FE-86F4-CB5E7F5A8BDC} みたいなのを、新しいプロファイルの extensions ディレクトリに丸ごとコピーしてやればそれで完了ということになります。

元になるプロファイルが、1.0系のもので新しいプロファイルが1.5系の場合は、かなりの拡張が無効化されたりしますが、その場合は拡張マネージャーのアップデート機能を使って、対応した拡張に更新させたり、あるいは、MR Tech's Local Install や、Nightly Tester Tools などを使って何とかしましょう。:p)

もちろん、インストールに成功しても拡張の設定などは引き継がれないので、それらは再度個別に設定したり、pref.js や user.js などを使ってごにょごにょする必要はあるわけですが。