fix: best-effort support for TUXEDO OS (#23813)

TUXEDO OS is an Ubuntu based distribution built by the Linux computer
vendor TUXEDO.
This commit is contained in:
Moritz Horstmann 2023-06-22 16:14:18 +02:00 committed by GitHub
parent ddc0278d81
commit bdac3e28a6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -59,7 +59,8 @@ export const hostPlatform = ((): HostPlatform => {
// Pop!_OS is ubuntu-based and has the same versions.
// KDE Neon is ubuntu-based and has the same versions.
if (distroInfo?.id === 'ubuntu' || distroInfo?.id === 'pop' || distroInfo?.id === 'neon') {
// TUXEDO OS is ubuntu-based and has the same versions.
if (distroInfo?.id === 'ubuntu' || distroInfo?.id === 'pop' || distroInfo?.id === 'neon' || distroInfo?.id === 'tuxedo') {
if (parseInt(distroInfo.version, 10) <= 19)
return ('ubuntu18.04' + archSuffix) as HostPlatform;
if (parseInt(distroInfo.version, 10) <= 21)