On Tue, Oct 06, 2015 at 02:59:20AM +0100, David Hare wrote: > 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)
Surely even Debian has to admit the possibility of a dual boot etween themselves and devuan? -- hendrik _______________________________________________ Dng mailing list Dng@lists.dyne.org https://mailinglists.dyne.org/cgi-bin/mailman/listinfo/dng