Displaying 2 results from an estimated 2 matches for "1e785de".
2016 Aug 31
0
[PATCH 2/2] Use os-release to detect the distro
...Some distributions (openSUSE Thumbleweed) are starting to remove them,
breaking the supermin detection.
---
src/dpkg.ml | 3 ++-
src/pacman.ml | 5 +++--
src/rpm.ml | 15 +++++++++------
3 files changed, 14 insertions(+), 9 deletions(-)
diff --git a/src/dpkg.ml b/src/dpkg.ml
index 70acfa2..1e785de 100644
--- a/src/dpkg.ml
+++ b/src/dpkg.ml
@@ -28,7 +28,8 @@ let dpkg_detect () =
Config.dpkg_query <> "no" &&
Config.dpkg_divert <> "no" &&
Config.apt_get <> "no" &&
- try (stat "/etc/debian_version"...
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