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-02-04 13:25:26 +01:00
|
|
|
enum WorkspaceEventType {
|
|
|
|
USER_JOIN = 0;
|
|
|
|
USER_LEAVE = 1;
|
|
|
|
FILE_CREATE = 2;
|
|
|
|
FILE_DELETE = 3;
|
|
|
|
FILE_RENAME = 4;
|
|
|
|
}
|
|
|
|
|
|
|
|
message WorkspaceEvent {
|
|
|
|
required string id = 1; // the id of the user, or the path of the file
|
|
|
|
required WorkspaceEventType event = 2;
|
|
|
|
optional string extra = 3; // new name? extra info on user events etc...
|
|
|
|
}
|
|
|
|
|
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-02-04 13:25:26 +01:00
|
|
|
}
|