diff options
| author | Markus Mohrhard <markus.mohrhard@googlemail.com> | 2017-08-03 00:19:55 +0200 |
|---|---|---|
| committer | Markus Mohrhard <markus.mohrhard@googlemail.com> | 2017-08-04 06:02:22 +0200 |
| commit | 71b0d8b89d4701fcf1d22e2baf1ef5d983bc10d5 (patch) | |
| tree | d0d0e15ef8f7f3333add72616102f53169155931 /bin | |
| parent | 57446e0b60b9edbe1d72b13d664857f8d09c5048 (diff) | |
updater: initial working on windows support for mar file generation
Change-Id: Ia91724afbb258c7667dd18e76a32be24bff369ef
Reviewed-on: https://gerrit.libreoffice.org/40753
Reviewed-by: Markus Mohrhard <markus.mohrhard@googlemail.com>
Tested-by: Markus Mohrhard <markus.mohrhard@googlemail.com>
Diffstat (limited to 'bin')
| -rw-r--r-- | bin/update/tools.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/bin/update/tools.py b/bin/update/tools.py index 5a3e34521b40..1e14f793cceb 100644 --- a/bin/update/tools.py +++ b/bin/update/tools.py @@ -1,5 +1,6 @@ import os import hashlib +import zipfile import tarfile def uncompress_file_to_dir(compressed_file, uncompress_dir): @@ -16,6 +17,9 @@ def uncompress_file_to_dir(compressed_file, uncompress_dir): tar.extractall(uncompress_dir) tar.close() elif extension == '.zip': + zip_file = zipfile.ZipFile(compressed_file) + zip_file.extractall(uncompress_dir) + zip_file.close() pass else: print("Error: unknown extension " + extension) |