On 05/10/15 22:25, Adam Borowski wrote:
On Mon, Oct 05, 2015 at 08:19:10PM +0100, David Hare wrote:
Don't know if there is an "official" plan to sort this. It is an annoyance
that os-prober (normally run at update-grub) detects my
(bootstrap-installed) Devuan as "Unknown Linux Distribution" then that's
what you get in grub menu.
This is fixed here by adding after line 23 of
/usr/lib/os-probes/mounted/90linux-distro :
elif [ -e "$dir/etc/devuan_version" ]; then
short="Devuan"
long="$(printf "Devuan GNU/Linux (%s)\n" "$(cat
"$dir/etc/devuan_version")")"
Have you submitted this patch to os-prober? If not, please do so (or tell
us you won't). This way:
1. there'll be no need to patch this in Devuan separately
2. systems with both Debian and Devuan will have proper grubbage
Of course I could submit this to os-prober, presumably as a bug report
with patch. They might not be sympathetic, os-prober is a
mainstream-Debian utility (and Devuan has yet no official release)
https://joeyh.name/code/os-prober/
I failed to find the package of /etc/default/grub using apt-file. Where
does it come from? (that's what writes "Debian GNU/Linux" for the actual
running OS, unless edited).
(OT) While on that case another problem was noticed:
# apt-file update
Ignoring source without Contents File:
http://packages.devuan.org/merged/dists/jessie/main/Contents-amd64.gz
The mainstream jessie repo (temporarily enabled) gets processed normally
and apt-file seems to work.
David
_______________________________________________
Dng mailing list
[email protected]
https://mailinglists.dyne.org/cgi-bin/mailman/listinfo/dng
