|Did you know ...||Search Documentation:|
:- use_module(library(archive)).(can be autoloaded)
type(binary). If Data is an already open stream, the caller is responsible for closing it (but see option
close_parent(true)) and must not close the stream until after archive_close/1 is called. Mode is either
write. Details are controlled by Options. Typically, the option
close_parent(true)is used to also close the Data stream if the archive is closed using archive_close/1. For other options when reading, the defaults are typically fine - for writing, a valid format and optional filters must be specified. The option
format(raw)must be used to process compressed streams that do not contain explicit entries (e.g., gzip'ed data) unambibuously. The
rawformat creates a pseudo archive holding a single member named
false), Data stream is closed when archive_close/1 is called on Archive. If Data is a file name, the default is
allis assumed. In write mode,
noneis assumed. Supported values are
xz. The value
allis default for read,
allis assumed for read mode. Note that
alldoes not include
mtree. To open both archive and non-archive files, both
format(mtree)must be specified. Supported values are:
zip. The value
allis default for read.
Note that the actually supported compression types and formats may vary depending on the version and installation options of the underlying libarchive library. This predicate raises a domain or permission error if the (explicitly) requested format or filter is not supported.
domain_error(filter, Filter)if the requested filter is invalid (e.g.,
domain_error(format, Format)if the requested format type is not supported.
permission_error(set, filter, Filter)if the requested filter is not supported.