Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-07-22 06:43:40 +01:00
Code Issues Projects Releases Packages Wiki Activity

Add TUXEDO OS to mach bootstrap (#30363)

Browse source 
Signed-off-by: Carlos Bentzen <cadubentzen@gmail.com>
This commit is contained in:
Carlos Bentzen 2023-09-15 06:20:32 +02:00 • committed by GitHub
parent c78533c1a8
commit 0b86d65798
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/platform/linux.py
View file

@ -65,7 +65,7 @@ class Linux(Base):
distrib = distro.name()
version = distro.version()
if distrib in ['LinuxMint', 'Linux Mint', 'KDE neon', 'Pop!_OS']:
if distrib in ['LinuxMint', 'Linux Mint', 'KDE neon', 'Pop!_OS', 'TUXEDO OS']:
if '.' in version:
major, _ = version.split('.', 1)
else: