Bug#465754: marked as done (Latest hack to get Debian splash fails)

[Robert Millan]

On Sat, Feb 16, 2008 at 06:53:47PM +0100, Didier Raboud wrote:
> 
> Hi, 
> 
> I would like to suggest a move of the hack mentioned in original bug report to 
> update-grub, to /etc/grub.d/05_debian_theme or similar. The idea is to 
> provide an easy way to change the grub2 background (including with those 
> provided in grub2-splashimages) for those that have a "hidden" /usr (not 
> only !).
> 
> Why not using a variable in /etc/default/grub that, if not present would let 
> the background be debian-blueish-wallpaper and if present would choose and 
> copy one of the backgrounds from grub2-splashimages ?
> 
> Anyway, my basis question is : would such a patch have any chance to be 
> included ?

/etc/grub.d/05_debian_theme is a config file as well;  why not edit that?

-- 
Robert Millan

<GPLv2> I know my rights; I want my phone call!
<DRM> What use is a phone call… if you are unable to speak?
(as seen on /.)