いくつかのプリインストールされたプラグインを使用してEclipseインストールを作成しています。そのために、設定をいくつかのデフォルト値に設定しようとしています。プリファレンスは plugin_customization.ini ファイルで設定されており、Eclipse は次のように起動します。
-pluginCustomization
plugins/<my_plugin>/plugin_customization.ini
ini ファイルの一部の値が機能することを確認しましたが、特定の設定が設定されていません。設定が元の設定の一部ではなく、プラグインによって追加されていることが原因である可能性が最も高いです。おそらく、このプラグインはデフォルト値を設定しますが、そのデフォルト値は正しくないため、オーバーライドする必要があります。
したがって、これは質問 1 につながります。Eclipse での設定の優先順位は何ですか? 私の推測では;
- コマンドライン引数 -pluginCustomization
- プラグインはコードで環境設定を設定します
- 保存されたワークスペース設定
より多くの代替手段はありますか？
質問2; 特定の設定値が設定され、別のプラグインによって上書きされないようにする必要がある場合、どのようなオプションがありますか?