| import os | |
| def unzip_cmd(): | |
| # Use 7-Zip if available (https://www.7-zip.org/) | |
| sevenzip = os.path.join(os.getenv('ProgramFiles', ''), '7-Zip', '7z.exe') | |
| if os.path.isfile(sevenzip): | |
| return [sevenzip, 'x'] | |
| # Fall back to 'unzip' tool | |
| return ['unzip', '-q'] | |
| def zip_cmd(): | |
| # Use 7-Zip if available (https://www.7-zip.org/) | |
| sevenzip = os.path.join(os.getenv('ProgramFiles', ''), '7-Zip', '7z.exe') | |
| if os.path.isfile(sevenzip): | |
| return [sevenzip, 'a', '-mx9'] | |
| # Fall back to 'zip' tool | |
| return ['zip', '-rq'] |