Skip to content
microvms-agentd

DownloadedFile

View as MarkdownOpen in ChatGPTOpen in ClaudeOpen in Claude CodeOpen in Cursor
@final
class DownloadedFile

One file Session.download_dir wrote, relative to the local directory.

Constructor

Section titled “Constructor”

DownloadedFile declares no __new__ or __init__, so it is not constructed directly: an instance comes back from another call in this package.

Properties

Section titled “Properties”

path

Section titled “path”
path: str

The file’s path under the local directory, as the archive named it.

size

Section titled “size”
size: int

The file’s size in bytes.

Special methods

Section titled “Special methods”

__repr__

Section titled “__repr__”
def __repr__() -> str

Provenance

Section titled “Provenance”

This page is generated from bindings/microvms-py/microvms.pyi by Griffe 2.3.0, run from site/scripts/gen-reference.mjs on every pnpm run sync, so an edit made here is overwritten by the next run.

To change the page, change the doc comment in the binding’s Rust source, then regenerate the declarations with mise run stubs. mise run stubs:check fails when the committed file no longer matches the source.