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