Stream Jupyter workspace file downloads

2026-05-13 18:15:53 +08:00
parent ef703ff49b
commit f2989cd48b
3 changed files with 111 additions and 6 deletions
@@ -282,6 +282,7 @@ type SessionFile = {
 	name: string;
 	path: string;
 	kind: "input" | "output";
+	source?: "local" | "jupyter";
 	size: number;
 	modified_at: string;
 	download_url: string;
@@ -593,6 +594,7 @@ function SessionFileRow({ file }: { file: SessionFile }) {
 					</div>
 				)}
 				<div className="text-muted-foreground text-xs">
+					{file.source === "jupyter" ? "JUPYTER · " : ""}
 					{fileExtension(file.name).toUpperCase() || "FILE"} ·{" "}
 					{formatBytes(file.size)}
 				</div>