2024-10-18 13:34:04 -07:00
|
|
|
import os
|
|
|
|
|
|
2024-12-07 00:20:31 +01:00
|
|
|
|
2024-10-18 13:34:04 -07:00
|
|
|
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']
|
