プラグイン

手動でプラグインを追加する方法を備忘録として残しておきます。 (インターネットに接続できない環境用) プラグインのダウンロード まずは、必要なプラグインを探します。 プラグインインデックス プラグインの説明、依存関係（例：JaCoCo） プラグインのダウンロード プラグインのダウンロード（例：JaCoCo） 追加するプラグインを決めたら、「hpi」形式でダウンロードします。 プラグインの追加 「J...