Mercurial
view third_party/emsdk/scripts/zip.py @ 208:5d3e116dd745
[MrJuneJune] made it more mobile friendly.
| author | MrJuneJune <me@mrjunejune.com> |
|---|---|
| date | Sun, 15 Feb 2026 12:33:54 -0800 |
| parents | 8d17f6e6e290 |
| children |
line wrap: on
line source
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']