diff options
| author | Simon Schmeisser <s.schmeisser@gmx.net> | 2020-12-27 21:34:11 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-27 21:34:11 +0100 |
| commit | 526faa03f4659940072e0cd2e5adc71bbd515091 (patch) | |
| tree | 40343d03035382315f7e0e388e35c95ab3f791eb /python/servo/bootstrap.py | |
| parent | 94ad42066ac78fdcc11b14989a3d96a177586d31 (diff) | |
| download | servo-526faa03f4659940072e0cd2e5adc71bbd515091.tar.gz servo-526faa03f4659940072e0cd2e5adc71bbd515091.zip | |
Add support for KDE neon in bootstrap
it's based on Ubuntu but provides recent (User edition) or git versions of the KDE Plasma desktop environment and ecosystem
Diffstat (limited to 'python/servo/bootstrap.py')
| -rw-r--r-- | python/servo/bootstrap.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/python/servo/bootstrap.py b/python/servo/bootstrap.py index e118f0d6937..9b2c70b7984 100644 --- a/python/servo/bootstrap.py +++ b/python/servo/bootstrap.py @@ -333,7 +333,7 @@ def get_linux_distribution(): distrib = six.ensure_str(distrib) version = six.ensure_str(version) - if distrib == 'LinuxMint' or distrib == 'Linux Mint': + if distrib in ['LinuxMint', 'Linux Mint', 'KDE neon']: if '.' in version: major, _ = version.split('.', 1) else: |