override.ini

提供: Opera Wiki
移動: 案内, 検索

目次

[編集] 概要

サイトごとの設定を保存するファイル。任意のドメインについてopera:configの項目をほぼ全て個別に設定出来る。

[編集] 書式

Opera Preferences version 2.1
; Do not edit this file while Opera is running
; This file is stored in UTF-8 encoding

[Overrides]
my.opera.com
www.opera.com

[my.opera.com]
User Prefs|Ignore Target=0
User Prefs|Target Destination=0
User Prefs|Ignore Unrequested Popups=1
User Prefs|Force Encoding
User Prefs|Enable Cookies=14
User Prefs|Local CSS File={Resources}styles/user.css
Extensions|Scripting=1
User Prefs|User JavaScript=1
User Prefs|Always Load User JavaScript=1
User Prefs|Enable Referrer=1
User Agent|Spoof UserAgent ID=1
User Prefs|Geolocation site state=-1
User Prefs|Strategy On Application Cache=1

[www.opera.com]
User Prefs|Ignore Target=0
User Prefs|Target Destination=0
User Prefs|Ignore Unrequested Popups=1
User Prefs|Force Encoding
User Prefs|Enable Cookies=14
User Prefs|Local CSS File={Resources}styles/user.css
Extensions|Scripting=1
User Prefs|User JavaScript=1
User Prefs|Always Load User JavaScript=1
User Prefs|Enable Referrer=1
User Agent|Spoof UserAgent ID=1
User Prefs|Geolocation site state=-1
User Prefs|Strategy On Application Cache=1

[編集] Overridesセクション

このファイルで設定したいドメインのリストを書く。

[編集] ドメインセクション

設定したいドメイン名のセクションを書き、上書きしたいopera:configの項目をセクション名|項目名=値の形式で記述する。opera-config設定項目一覧を参照。

[編集] override_downloaded.ini

Opera社が提供するoverride.iniを自動的にダウンロードしたもの。主にUser Agent|Spoof UserAgent IDの設定が記述されている。

[編集] 関連項目

個人用ツール
名前空間

変種
操作
案内
ツール