2024-01-01 23:34:59 +01:00
|
|
|
syntax = "proto2";
|
|
|
|
|
|
|
|
package workspace;
|
|
|
|
import "user.proto";
|
|
|
|
import "files.proto";
|
|
|
|
|
|
|
|
message Empty {}
|
|
|
|
|
|
|
|
message TreeRequest {} // empty
|
|
|
|
message UserRequest {}
|
2024-01-25 02:13:45 +01:00
|
|
|
message CursorResponse {}
|
|
|
|
message UserListRequest {}
|
2024-01-01 23:34:59 +01:00
|
|
|
|
|
|
|
message WorkspaceUserList {
|
|
|
|
repeated user.UserIdentity user = 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
message WorkspaceMessage {
|
2024-01-27 11:49:05 +01:00
|
|
|
required string id = 1; //unused???
|
2024-01-01 23:34:59 +01:00
|
|
|
}
|
|
|
|
|
2024-01-25 02:13:45 +01:00
|
|
|
message JoinRequest {
|
2024-01-25 16:31:38 +01:00
|
|
|
required string username = 1;
|
|
|
|
required string password = 2;
|
2024-01-01 23:34:59 +01:00
|
|
|
}
|
|
|
|
|
2024-01-25 02:13:45 +01:00
|
|
|
message AttachRequest {
|
2024-01-27 11:49:05 +01:00
|
|
|
required string path = 1;
|
2024-01-01 23:34:59 +01:00
|
|
|
}
|
|
|
|
|
2024-01-25 02:13:45 +01:00
|
|
|
message Token {
|
2024-01-01 23:34:59 +01:00
|
|
|
required string token = 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
enum FileEventType {
|
|
|
|
CREATE = 0;
|
|
|
|
DELETE = 1;
|
|
|
|
RENAME = 2;
|
|
|
|
}
|
|
|
|
|
|
|
|
message FileEvent {
|
2024-01-25 02:13:45 +01:00
|
|
|
required string bufferbuffertree = 1;
|
2024-01-01 23:34:59 +01:00
|
|
|
required FileEventType type = 2;
|
|
|
|
}
|
|
|
|
|
|
|
|
enum UserEventType {
|
|
|
|
JOIN = 0;
|
|
|
|
LEAVE = 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
message UserEvent {
|
|
|
|
required user.UserIdentity user = 1;
|
|
|
|
required UserEventType type = 2;
|
|
|
|
}
|
|
|
|
|
|
|
|
message BufferPayload {
|
|
|
|
// buffer path to operate onto
|
|
|
|
required string path = 1;
|
|
|
|
}
|
|
|
|
|
2024-02-01 01:58:27 +01:00
|
|
|
message BufferListRequest {}
|
2024-01-01 23:34:59 +01:00
|
|
|
|
2024-01-25 02:13:45 +01:00
|
|
|
message UserList {
|
2024-01-01 23:34:59 +01:00
|
|
|
repeated user.UserIdentity users = 1;
|
2024-01-25 16:08:35 +01:00
|
|
|
}
|
|
|
|
|
2024-01-25 16:31:38 +01:00
|
|
|
message WorkspaceDetails {
|
|
|
|
required string id = 1;
|
2024-01-01 23:34:59 +01:00
|
|
|
}
|