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.