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

Auto merge of #28889 - thomas992:patch-1, r=jdm

Browse source 
Update bootstrap to support Pop!_OS 22.04

Bootstrap downloads dependencies. Updating Pop!_OS and Linux Mint, notable exception being Elementary OS untested

<!-- Please describe your changes on the following line: -->

---
<!-- Thank you for contributing to Servo! Please replace each `[ ]` by `[X]` when the step is complete, and replace `___` with appropriate data: -->
- [X ] `./mach build -d` does not report any errors
- [ X] `./mach test-tidy` does not report any errors
- [X ] These changes fix bootstrap (GitHub issue number if applicable)
-
thank you!
This commit is contained in:
bors-servo 2022-04-29 15:16:23 -04:00 • committed by GitHub
commit c23adde5a3
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 8 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

10
python/servo/bootstrap.py
View file

@ -339,7 +339,11 @@ def get_linux_distribution():
else: else:
major = version major = version
if major == '20': if major == '22':
base_version = '22.04'
elif major == '21':
base_version = '21.04'
elif major == '20':
base_version = '20.04' base_version = '20.04'
elif major == '19': elif major == '19':
base_version = '18.04' base_version = '18.04'
@ -355,7 +359,9 @@ def get_linux_distribution():
else: else:
major = version major = version
if major == '21': if major == '22':
base_version = '22.04'
elif major == '21':
base_version = '21.04' base_version = '21.04'
elif major == '20': elif major == '20':
base_version = '20.04' base_version = '20.04'