Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-04 13:10:20 +01:00
Code Issues Projects Releases Packages Wiki Activity

Auto merge of #27986 - simonschmeisser:patch-1, r=jdm

Browse source 
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

---
<!-- Thank you for contributing to Servo! Please replace each `[ ]` by `[X]` when the step is complete, and replace `___` with appropriate data: -->
- [ ] `./mach build -d` does not report any errors
- [ ] `./mach test-tidy` does not report any errors
- [ ] These changes fix #___ (GitHub issue number if applicable)

<!-- Either: -->
- [ ] There are tests for these changes OR
- [x] These changes do not require tests because they affect just the bootstrap script

<!-- Also, please make sure that "Allow edits from maintainers" checkbox is checked, so that we can help you if you get stuck somewhere along the way.-->

<!-- Pull requests that do not address these steps are welcome, but they will require additional verification as part of the review process. -->
This commit is contained in:
bors-servo 2020-12-28 11:51:25 -05:00 • committed by GitHub
commit 772da8531a
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
python/servo/bootstrap.py
View file

@ -333,7 +333,7 @@ def get_linux_distribution():
distrib = six.ensure_str(distrib) distrib = six.ensure_str(distrib)
version = six.ensure_str(version) version = six.ensure_str(version)
if distrib == 'LinuxMint' or distrib == 'Linux Mint': if distrib in ['LinuxMint', 'Linux Mint', 'KDE neon']:
if '.' in version: if '.' in version:
major, _ = version.split('.', 1) major, _ = version.split('.', 1)
else: else: