1.3.2. workspace-plugin および ssh-plugin Che-Theia 組み込みプラグインの強化

  • workspace-plugin はワークスペースの開始時に Git 操作を処理し、SSH の問題が発生した場合に ssh-plugin を呼び出します。
  • ssh-plugin は SSH キーを管理し、API を提供します。これにより、他のプラグインが SSH キーの使用など、SSH 関連の操作を処理できます。

今回の更新により、これらのプラグインは、Git リポジトリーへのセキュアなログインなど、SSH URI を使用した Git プロジェクトのクローン作成中に認証イベントを処理できるようになりました。

GitHub リポジトリーとの対話の場合、workspace-plugin は ssh-plugin を使用して以下を行うことができます。

  • ユーザーの公開鍵をアップロードします。
  • 自動生成されるキーを Git リポジトリーに手動で追加することを提案します。
  • ユーザーがカスタム TLS 証明書を使用することを許可します。
  • Issue 13494