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