Opera Mobile 9.70b1 の 「サイトごとの設定」ファイル (override.ini)



Opera Mobile 9.70b1 の 「サイトごとの設定」ファイル (override.ini)は、 desktop 版 Opera のファイルと同じものらしい。
デスクトップ版の Opera を複数個所にインストールしている人の多く?は、「サイトごとの設定の編集」で作られるファイル(override.ini)をコピペで使い廻していると思いますが、それと同じ様にデスクトップ版の override.ini を Opera Mobile 9.70b1 の環境にコピーしてやると、どうやら、そのまま、使えます。
っと云っても、
override.ini の中には、ユーザCSSファイルのpath指定&ユーザJSフォルダのpath指定も格納されているので Windows Mobile の環境に合わせたpath指定に修正する必要が有ります。


デスクトップ版の override.ini ファイルはデフォルトでは Opera directory にありますが、設定ファイルエディタ(opera:config)を使えば、格納場所を確認/変更できます。 *1
Opera Mobile 9.70b1 の override.ini ファイルの格納場所も設定ファイルエディタで確認/変更できます。 *2
デフォルトでは、
\Program Files\Opera Mobile\profile
の様子ですが、 Opera Mobile の場合、 Opera 自体で override.ini ファイルを作成・編集する機能を持っていないのでインストールフォルダに置く事にメリットは感じられません。
なので、私の場合、
\microSDカード\Application Data\

OperaUser と云うフォルダを作って ここに override.ini を置き、
OperaUserCss と云うフォルダを作って ここに ユーザCSSファイルを置き、
OperaUserJs と云うフォルダを作って ここに ユーザJSファイルを置く事にしました。
なので、
opera:config#UserPrefs|OverridesFile
で指定するファイルは、
\microSDカード\Application Data\OperaUser\override.ini
の形式になり、
この override.ini ファイルの中で指定するpath指定は、
\microSDカード\Application Data\OperaUserCss\EIJIRO.css (えいじろうのサイトに対する「サイトごとの設定」の例)
\microSDカード\Application Data\OperaUserJs\
としています。


このように override.ini を設定して、デスクトップ版の Opera で使っている ユーザCSSファイル と ユーザJSファイル を そっくり、そのまま、
\microSDカード\Application Data\OperaUserCss\
\microSDカード\Application Data\OperaUserJs\
にコピーしてやると、デスクトップ版の Opera で使っている「サイトごとの設定」 が Opera Mobile 9.70b1 でも利用できます。*3


このような設定で、例のあのサイトに行ってみると↓こんな感じになります。

私のデスクトップ版の Opera では出てこないオジサンが見えていますが、まあ良しとします。 orz



*1:アドレスバーに opera:config#UserPrefs|OverridesFile を打ち込むと行けます

*2:アドレスバーに opera:config#UserPrefs|OverridesFile を打ち込むと行けます

*3:細かい事を言うと、Opera Mobile がまだベータである事の制約?とか、各サイト側でデスクトップブラウザ向けのCSSとモバイルブラウザ向けのCSSが異なる事の影響が出ます。