MPS 2023.3 ヘルプ

言語プラグインのインストール方法

MPS は他の言語でも簡単に拡張できます。言語は通常の zip ファイルとしてパッケージされています。MPS プラグインディレクトリに解凍し、再起動時に MPS がロードされます。

言語プラグインをインストールする最も便利な方法は、設定ダイアログ Ctrl+Alt+S で利用できるプラグインマネージャーを使用することです。

The Plugins settings dialog

以前に受け取った zip ファイル ( ディスクからプラグインをインストールオプション) をインストールするか、「リポジトリの参照」ボタンをクリックして、JetBrains マーケットプレイスにアップロードされたプラグインのリストから目的のプラグインを選択することができます。

The plugin repository

MPS および IntelliJ IDEA 用のいくつかの言語プラグイン (JetBrains およびサードパーティによる) が、JetBrains マーケットプレイスで公開されています。