NAME="TUXEDO OS" VERSION="2" ID=tuxedo ID_LIKE="ubuntu debian" PRETTY_NAME="TUXEDO OS 2" VERSION_ID="22.04" HOME_URL="https://tuxedocomputers.com/" SUPPORT_URL="https://support.tuxedocomputers.com/" BUG_REPORT_URL="https://gitlab.com/tuxedocomputers/development/tuxedo_os/os" PRIVACY_POLICY_URL="https://www.tuxedocomputers.com/en/Privacy-policy.tuxedo" VERSION_CODENAME=jammy UBUNTU_CODENAME=jammy