NAME="TUXEDO OS" VERSION="24.04.1 LTS" ID=tuxedo ID_LIKE="ubuntu debian" PRETTY_NAME="TUXEDO OS" VERSION_ID="24.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=noble UBUNTU_CODENAME=noble