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." -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
