Auto merge of #25996 - humancalico:mach_pop, r=jdm

added pop!_os support for ./mach bootstrap

<!-- Please describe your changes on the following line: -->
Added ./mach bootstrap support for Pop!_OS

---
r? @jdm

<!-- 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 #25965 (GitHub issue number if applicable)

<!-- Either: -->
- [ ] There are tests for these changes OR
- [ ] These changes do not require tests because ___

<!-- 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. -->

1 files changed, 16 insertions, 0 deletions

diff --git a/python/servo/bootstrap.py b/python/servo/bootstrap.py
index ae3574dd41b..9291ce87e3f 100644
--- a/python/servo/bootstrap.py
+++ b/python/servo/bootstrap.py
@@ -362,6 +362,22 @@ def get_linux_distribution():
             raise Exception('unsupported version of %s: %s' % (distrib, version))
 
         distrib, version = 'Ubuntu', base_version
+    elif distrib == 'Pop!_OS':
+        if '.' in version:
+            major, _ = version.split('.', 1)
+        else:
+            major = version
+
+        if major == '19':
+            base_version = '18.04'
+        elif major == '18':
+            base_version = '16.04'
+        elif major == '17':
+            base_version = '14.04'
+        else:
+            raise Exception('unsupported version of %s: %s' % (distrib, version))
+
+        distrib, version = 'Ubuntu', base_version
     elif distrib.lower() == 'elementary':
         if version == '5.0':
             base_version = '18.04'