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 | |
| 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
| -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: |