Publish Claude Code Binaries / Stage and publish binaries (push) Canceled after 0s
Publish Tutti App Runtime / Build darwin-arm64 (push) Canceled after 0s
Publish Tutti App Runtime / Build darwin-amd64 (push) Canceled after 0s
Publish Tutti App Runtime / Build linux-amd64 (push) Canceled after 0s
Publish Tutti App Runtime / Build windows-amd64 (push) Canceled after 0s
Sync Tutti Agent Skills / sync (push) Canceled after 0s
Windows Agent Adapters / Test Windows agent adapters (push) Canceled after 0s
Windows Daemon Adapters / Test Windows daemon adapters (push) Canceled after 0s
Publish Tutti App Runtime / Publish runtime catalog (push) Canceled after 0s
71 lines
1.1 KiB
TypeScript
71 lines
1.1 KiB
TypeScript
export type FileSystemEntryKind = "file" | "directory" | "unknown";
|
|
|
|
export interface FileSystemEntry {
|
|
name: string;
|
|
uri: string;
|
|
kind: FileSystemEntryKind;
|
|
}
|
|
|
|
export interface FileSystemStat {
|
|
uri: string;
|
|
kind: FileSystemEntryKind;
|
|
sizeBytes: number | null;
|
|
mtimeMs: number | null;
|
|
}
|
|
|
|
export interface ReadFileTextInput {
|
|
uri: string;
|
|
}
|
|
|
|
export interface ReadFileTextResult {
|
|
content: string;
|
|
}
|
|
|
|
export interface ReadFileBytesInput {
|
|
uri: string;
|
|
}
|
|
|
|
export interface ReadFileBytesResult {
|
|
bytes: Uint8Array;
|
|
}
|
|
|
|
export interface WriteFileTextInput {
|
|
uri: string;
|
|
content: string;
|
|
}
|
|
|
|
export interface CopyEntryInput {
|
|
sourceUri: string;
|
|
targetUri: string;
|
|
}
|
|
|
|
export interface MoveEntryInput {
|
|
sourceUri: string;
|
|
targetUri: string;
|
|
}
|
|
|
|
export interface RenameEntryInput {
|
|
sourceUri: string;
|
|
targetUri: string;
|
|
}
|
|
|
|
export interface DeleteEntryInput {
|
|
uri: string;
|
|
}
|
|
|
|
export interface CreateDirectoryInput {
|
|
uri: string;
|
|
}
|
|
|
|
export interface ReadDirectoryInput {
|
|
uri: string;
|
|
}
|
|
|
|
export interface ReadDirectoryResult {
|
|
entries: FileSystemEntry[];
|
|
}
|
|
|
|
export interface StatInput {
|
|
uri: string;
|
|
}
|