From 4302fa28d36cba73ef71e450a3147daf55655a33 Mon Sep 17 00:00:00 2001 From: Learning Date: Fri, 18 Jan 2019 15:05:26 +0800 Subject: Add support for elementary os --- python/servo/bootstrap.py | 15 +++++++++++++++ 1 file changed, 15 insertions(+) (limited to 'python/servo/bootstrap.py') diff --git a/python/servo/bootstrap.py b/python/servo/bootstrap.py index 4f9744a7c17..972cd9ae178 100644 --- a/python/servo/bootstrap.py +++ b/python/servo/bootstrap.py @@ -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', -- cgit v1.2.3