Bug#495282: grub-pc: desktop-grub usage instead of hardcoding background file name

[Fathi Boudra]

Hello,

> I'm afraid it doesn't solve the problem in an acceptable way.

at least, It solves hardcoding background file name issue.

> If we apply your patch next time we'll have to figure out how to support
> people who  choose dark backgrounds, etc, and we'll already be committed to
> support them. 

at the moment, you don't support them anyway as you hardcode values so they 
need to edit 05_debian_theme by hand in all cases.

> The problem is I can't decide right now if the complete solution will be
> acceptable, because I haven't seen it yet.

what's missing ?

> For now, I think editting /etc/grub.d/* files is the least bad option.

I don't think so.

My current problem is to set Debian default artwork, grub included, only by 
installing desktop-base package. Replacing hardcoded debian-blueish-wallpaper 
by an alternative provided by desktop is the least bad option.

People that doesnt want Debian default grub wallpaper could always edit 
05_debian_theme.

Make a special case for desktop-base/Debian default artwork if needed.
Another solution is to drop a script to override 05_debian_theme.

cheers,

Fathi