最後に使ったプロファイル

2008年10月28日(火) 21時53分 by level
B ?
Tags: Firefox, Tips, Hacks

profile.ini で最後に使ったプロファイルにDefault=1がつくのはプロファイルマネージャ経由で起動した場合のみです。-P プロファイル名 で起動した場合は設定されません。実際の利用形態を考えると妥当な動作だと思えます。profile.ini が書き換えられるのはプロファイルマネージャから Firefox を起動した瞬間のようです。よって「最後に使った」の意味は「最後に起動」になります。

プロファイルマネージャ経由でのみというのは私も今回初めて気がつきました。Firefox 3 Hacks の3刷(がもしあるなら)修正しておきたいと思います。

コメント

コメントはありません。

トラックバック

トラックバックは検索対象外です。

この記事にリンクしているページ < >

  1. [13] http://beau.g-com.ne.jp/mon-extension-memo08_10-6.html