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

Robert Millan rmh at aybabtu.com
Sun Aug 17 16:43:04 UTC 2008


On Sun, Aug 17, 2008 at 05:11:54PM +0200, Fathi Boudra wrote:
> > 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.

/etc/grub.d/05_debian_theme is a config file.  It's going to be a config file
in either case, so it doesn't make a big difference.

> > 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 ?

As I said before, the image file is intimately tied to color selection.

-- 
Robert Millan

  The DRM opt-in fallacy: "Your data belongs to us. We will decide when (and
  how) you may access your data; but nobody's threatening your freedom: we
  still allow you to remove your data and not access it at all."





More information about the Pkg-grub-devel mailing list