Support terminals with ssh in remote projects (#11913)

Release Notes:

- Added a way to create terminal tabs in remote projects, if an ssh
connection string is specified
This commit is contained in:
Kirill Bulatov 2024-05-17 17:48:07 +03:00 committed by GitHub
parent 70888cf3d6
commit 8631280baa
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
14 changed files with 239 additions and 68 deletions

View file

@ -490,6 +490,7 @@ message ValidateDevServerProjectRequest {
message CreateDevServer {
reserved 1;
string name = 2;
optional string ssh_connection_string = 3;
}
message RegenerateDevServerToken {
@ -1251,6 +1252,7 @@ message DevServer {
uint64 dev_server_id = 2;
string name = 3;
DevServerStatus status = 4;
optional string ssh_connection_string = 5;
}
enum DevServerStatus {