10.3. プラグインパラメーターを .che/che-theia-plugins.yaml に追加
.che/che-theia-plugins.yaml ファイルを変更することで、プラグインにパラメーターを追加できます。これらの変更には次のものが含まれます。
- ワークスペースインストール用のプラグインの定義
- デフォルトのメモリー制限を変更します。
- デフォルト設定を上書きします。
10.3.1. ワークスペースインストール用のプラグインの定義
ワークスペースにインストールするプラグインを定義します。
前提条件
-
GitHub リポジトリーのルートに
.che/che-theia-plugins.yamlファイルがある。
手順
プラグインの ID を
.che/che-theia-plugins.yamlファイルに追加します。/記号を使用して、発行元とプラグインの名前を区切ります。次の例では、Red Hat Visual Studio Code Java 拡張機能の ID を使用しています。- id: redhat/java/latest
