IDE
devfile を使用すると、開発環境で使用する IDE、JVM オプション (IntelliJ ベースの IDE の場合)、およびプロジェクトルートディレクトリを指定できます。
デフォルトの IDE を指定する
開発環境では、JetBrains の IDE Fleet、IntelliJ IDEA、WebStorm、PyCharm、RubyMine、CLion、GoLand、PhpStorm、Rider * を使用できます。利用可能な IDE に関する情報を取得するために、Space は JetBrains Toolbox アプリ更新フィードを使用します。利用可能な IDE、IDE バージョン、バージョンのリリース状態 (リリース、EAP など) は、開発環境管理ページで確認できます。
space.editor
パラメーターを使用すると、デフォルトの IDE、IDE バージョン、バージョンのリリース状態を指定できます。ユーザーは、開発環境を作成するときにこれらの設定を変更できます。開発環境をウォームアップすると、Space は devfile で指定された IDE および IDE バージョンの IDE インデックスを構築します。
デフォルトの IDE バージョン
devfile で指定されていない場合、デフォルトの IDE バージョンは常に利用可能な最新のリリースバージョンになります。これは組織全体のデフォルトです。これを変更するには、ユーザーは開発環境設定を編集するグローバル権限を持っている必要があります (たとえば、システム管理者ロールを持つ管理者など)。
組織の開発環境のデフォルトの IDE バージョンを指定するには
管理を開き、次に開発環境を開きます。
デフォルトの IDE バージョンで必要な IDE を見つけ、新しいデフォルトバージョンを選択します。
開発環境で JetBrains Rider を使用する
JetBrains Rider で開発環境を使用する場合は、ソリューションファイルへのパスをさらに指定する必要があります。パスを指定するには、 projectRoot
パラメーターを使用します。例:
IntelliJ ベースの IDE の JVM オプションを構成する
場合によっては、IntelliJ ベースの IDE が実行される Java 仮想マシン (JVM) の構成を変更する必要がある場合があります。例: IDE に割り当てられる最大メモリヒープサイズを増やします。
必要な JVM オプションを指定するには、vmoptions
リストを使用します。例: IDE に割り当てられる初期および最大メモリヒープサイズを設定するには:
更新された devfile をプロジェクトリポジトリにプッシュすると、指定された JVM オプションは新しく作成された開発環境にのみ適用されます。
プロジェクトのルートディレクトリを指定する
開発環境を開始すると、IDE はプロジェクトのルートディレクトリを開きます。デフォルトでは、プロジェクトのルートはリポジトリのルートです。projectRoot
パラメーターを使用して、(リポジトリルートを基準とした) 代替プロジェクトルートの場所を指定できます。これは、複数のプロジェクトを含む mono リポジトリに役立つ可能性があります。
また、devfile 内のすべてのパスパラメーター (例: components[*].image.dockerfile.uri
および components[*].image.dockerfile.buildContext
) は、プロジェクトルートを基準にして指定されることにも注意してください。
関連ページ:
ウォームアップ
開発環境では、IDE ウォームアップフェーズ (IDE がインデックスを構築し、プロジェクトの依存関係の解決などのその他のバックグラウンドアクティビティを実行する期間) を削除することで、開発速度を大幅に向上させることができます。これらすべてのルーチンを開発環境のウォームアップに配置し、スケジュールまたはコミットプッシュで実行できます。ウォームアップの結果、ウォームアップスナップショット (Docker ボリューム) が作成され、開発環境にマウントされます。ウォームアップが定期的に実行されているこ...
ロールと権限
Space のユーザー権限は次のカテゴリに分類されます。組織全体の権限 — 組織全体で有効です。チーム固有の権限 — 特定のチーム内で有効です。プロジェクト固有の権限 — 特定のプロジェクト内で有効です。ユーザーに個別の権限を発行することはできません。代わりに、事前定義された一連の権限を持つロールをユーザーに割り当てることができます。Space にはデフォルトのロールの番号が付属します (以下の表に記載)。初期登録時に、ユーザーには特定の基本的なロールが自動的に割り当てられます。ユーザーが通常のメンバー...