Displaying 1 result from an estimated 1 matches for "1124719".
Did you mean:
112419
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