Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-07-02 13:03:43 +01:00
Code Issues Projects Releases Packages Wiki Activity

boostrap: set executable bits when extracting zip files

Browse source
This commit is contained in:
Simon Sapin 2018-06-21 23:05:38 +02:00
parent b9d5f11b20
commit 510cf1a2ab
1 changed files with 19 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

22
python/servo/util.py
View file

@ -153,10 +153,25 @@ def download_file(desc, src, dst):
download(desc, src, fd)
os.rename(tmp_path, dst)
# https://stackoverflow.com/questions/39296101/python-zipfile-removes-execute-permissions-from-binaries
# In particular, we want the executable bit for executable files.
class ZipFileWithUnixPermissions(zipfile.ZipFile):
def extract(self, member, path=None, pwd=None):
if not isinstance(member, zipfile.ZipInfo):
member = self.getinfo(member)
def extract(src, dst, movedir=None):
if path is None:
path = os.getcwd()
extracted = self._extract_member(member, path, pwd)
mode = os.stat(extracted).st_mode
mode |= (member.external_attr >> 16)
os.chmod(extracted, mode)
return extracted
def extract(src, dst, movedir=None, remove=True):
assert src.endswith(".zip")
zipfile.ZipFile(src).extractall(dst)
ZipFileWithUnixPermissions(src).extractall(dst)
if movedir:
for f in os.listdir(movedir):
@ -165,7 +180,8 @@ def extract(src, dst, movedir=None):
os.rename(frm, to)
os.rmdir(movedir)
os.remove(src)
if remove:
os.remove(src)
def check_hash(filename, expected, algorithm):
hasher = hashlib.new(algorithm)