Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-29 19:43:39 +01:00
Code Issues Projects Releases Packages Wiki Activity

Add support for elementary os

Browse source
This commit is contained in:
Learning 2019-01-18 15:05:26 +08:00
parent 42b600458f
commit 4302fa28d3
1 changed files with 15 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

15
python/servo/bootstrap.py
View file

@ -359,6 +359,21 @@ def get_linux_distribution():
else:
raise Exception('unsupported version of %s: %s' % (distro, version))
distro, version = 'Ubuntu', base_version
elif distro.lower() == 'elementary':
if version == '5.0':
base_version = '18.04'
elif version[0:3] == '0.4':
base_version = '16.04'
elif version[0:3] == '0.3':
base_version = '14.04'
elif version == '0.2':
base_version = '12.04'
elif version == '0.1':
base_version = '10.10'
else:
raise Exception('unsupported version of %s: %s' % (distro, version))
distro, version = 'Ubuntu', base_version
elif distro.lower() not in [
'centos',