[ssh] flexible auth user (#18880)

Author: akosyakov

components/ide/jetbrains/gateway-plugin/src/main/kotlin/io/gitpod/jetbrains/gateway/GitpodConnectionProvider.kt

@@ -374,10 +374,15 @@ class GitpodConnectionProvider : GatewayConnectionProvider {
                 hostKeys = listOf(SSHHostKey(keyPair.hostKey.type, keyPair.hostKey.value))
             }
 
+            var userName = keyPair.userName
+            if (userName == null) {
+                userName = "gitpod"
+            }
+
             return resolveCredentials(
                 "localhost",
                 sshWebSocketServer.port,
-                "gitpod",
+                userName,
                 null,
                 privateKeyFile.absolutePathString(),
                 hostKeys
@@ -637,5 +642,5 @@ class GitpodConnectionProvider : GatewayConnectionProvider {
 
     private data class SSHPublicKey(val type: String, val value: String)
 
-    private data class CreateSSHKeyPairResponse(val privateKey: String, val hostKey: SSHPublicKey?)
+    private data class CreateSSHKeyPairResponse(val privateKey: String, val hostKey: SSHPublicKey?, val userName: String?)
 }

components/supervisor-api/control.proto

@@ -44,6 +44,8 @@ message CreateSSHKeyPairResponse {
     string private_key = 1;
     // Return hostKey used by client to verify fingerprint
     SSHPublicKey host_key = 2;
+    // Return userName used by client to authenticate
+    string user_name = 3;
 }
 
 message SSHPublicKey {