inspect: detect Gentoo from os-release

Add "gentoo" as recognized ID in /etc/os-release, and consider it as
rolling distribution (so without VERSION_ID in os-release).

This avoids using a not-useful version read from /etc/gentoo-release,
e.g. "Gentoo Base System release 2.6".
This commit is contained in:
Pino Toscano
2019-02-19 08:35:06 +01:00
parent a6db759a72
commit c0155f5823

View File

@@ -64,7 +64,7 @@ let arch_binaries =
* features.
*)
let rolling_distros =
[ DISTRO_VOID_LINUX ]
[ DISTRO_GENTOO; DISTRO_VOID_LINUX ]
(* Parse a os-release file.
*
@@ -144,6 +144,7 @@ and distro_of_os_release_id = function
| "debian" -> Some DISTRO_DEBIAN
| "fedora" -> Some DISTRO_FEDORA
| "frugalware" -> Some DISTRO_FRUGALWARE
| "gentoo" -> Some DISTRO_GENTOO
| "kali" -> Some DISTRO_KALI_LINUX
| "mageia" -> Some DISTRO_MAGEIA
| "neokylin" -> Some DISTRO_NEOKYLIN