Mercurial
view third_party/emsdk/scripts/zip.py @ 237:97882baf83e7
[mrjunejune] Rewrite homepage introduction
| author | MrJuneJune <me@mrjunejune.com> |
|---|---|
| date | Mon, 03 Aug 2026 09:53:29 -0700 |
| 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']