Module tectonic_io_base::filesystem

Tectonic I/O implementations for std::fs types.

Structs

FilesystemIo	FilesystemIo is an I/O provider that reads, and optionally writes, files from a given root directory.
FilesystemPrimaryInputIo	FilesystemPrimaryInputIo is an I/O provider that provides the TeX "primary input" file off of the filesystem. This can pretty much be achieved with Filesystem I/O, but we need the "primary input" formalism to decently support processing if stdin, and by doing things this way we can handle paths on Unix systems that can't be converted to UTF-8.