Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- using Archive;
- public static void main (string[] args) {
- var read = new Read();
- read.support_filter_all();
- read.support_format_all();
- var file = FileStream.open ("/path/to/archive.xz", "r");
- var res = read.open_FILE (file);
- if (res == Result.OK) {
- unowned Entry entry;
- while (read.next_header (out entry) == Result.OK)
- read.extract (entry);
- } else print ("error\n");
- }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement