inspect: handle os-release "opensuse-tumbleweed" as opensuse

Followup of commit 70407cd622 for openSUSE
Thumbleweed.
This commit is contained in:
Pino Toscano
2018-11-30 12:41:03 +01:00
parent 0e6bbcee7e
commit 28bd06227b

View File

@@ -143,7 +143,8 @@ and distro_of_os_release_id = function
| "kali" -> Some DISTRO_KALI_LINUX
| "mageia" -> Some DISTRO_MAGEIA
| "neokylin" -> Some DISTRO_NEOKYLIN
| "opensuse" | "opensuse-leap" -> Some DISTRO_OPENSUSE
| "opensuse" -> Some DISTRO_OPENSUSE
| s when String.is_prefix s "opensuse-" -> Some DISTRO_OPENSUSE
| "pld" -> Some DISTRO_PLD_LINUX
| "rhel" -> Some DISTRO_RHEL
| "sles" | "sled" -> Some DISTRO_SLES