Displaying 2 results from an estimated 2 matches for "e409e37".
Did you mean:
40937
2016 Aug 31
0
[PATCH 2/2] Use os-release to detect the distro
...pacman-g2 *)
+ (Os_release.get_id () = "arch" ||
+ ((stat "/etc/arch-release").st_kind = S_REG &&
+ Config.pacman_g2 = "no")) (* not Frugalware with pacman-g2 *)
let settings = ref no_settings
diff --git a/src/rpm.ml b/src/rpm.ml
index a5dc67a..e409e37 100644
--- a/src/rpm.ml
+++ b/src/rpm.ml
@@ -31,21 +31,24 @@ let stringset_of_list pkgs =
let fedora_detect () =
Config.rpm <> "no" && Config.rpm2cpio <> "no" && rpm_is_available () &&
(Config.yumdownloader <> "no" ||...
2016 Aug 31
8
[PATCH 0/2] supermin: use /etc/os-release
Hi,
let's make supermin use /etc/os-release as primary source instead of
the various release files in /etc; apparently distros (e.g. openSUSE)
are starting removing them.
Thanks,
Pino Toscano (2):
Add simple handling of /etc/os-release
Use os-release to detect the distro
src/Makefile.am | 3 +++
src/dpkg.ml | 3 ++-
src/os_release.ml | 78