Mercurial
view third_party/emsdk/scripts/zip.py @ 225:70de0c80d093 hg-web
[hg-web] Add side-by-side changeset diffs
| author | MrJuneJune <me@mrjunejune.com> |
|---|---|
| date | Sun, 02 Aug 2026 14:41:09 -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']