From 526faa03f4659940072e0cd2e5adc71bbd515091 Mon Sep 17 00:00:00 2001 From: Simon Schmeisser Date: Sun, 27 Dec 2020 21:34:11 +0100 Subject: [PATCH] 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 --- python/servo/bootstrap.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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: