W dniu 2 stycznia 2011 17:17 użytkownik Alexander Kurtz <kurtz.a...@googlemail.com> napisał: > Yep, that's true. I'm currently thinking how the user could specify that > he doesn't want a background image at all. Would it be ok, if you had to > put a line like this into /etc/default/grub: > > GRUB_BACKGROUND=""
I don't think that really matters. There could be just empty variable in /etc/default/grub, or that variable may contain some special keyword ("none", "empty” or "blank" comes to mind). I think that you should choose the one that you find the easiest in implementation. What is more important, that option should be somehow documented, at least in grub-pc's README.Debian file. >> Also, it should be noted that currently there is no way to specify >> custom colors for GRUB2 without using background image (lines 94-99 in >> 05_debian_theme). > That's #608283[1]. I don't think that one was around when I was filing my bug report, but that's alright. Just wanted to point it out by the way. Since you are considering there moving GRUB_BACKGROUND_COLOR_NORMAL and GRUB_BACKGROUND_COLOR_HIGHLIGHT into /etc/default/grub, you should also consider deleting /usr/share/desktop-base/grub_background.sh file. Right now that file contains variables for splash image and colors. If these variables were to set in /etc/default/grub (which I find much more intuitive), there would be no more need of grub_background.sh file. Cheers Mirosław Zalewski -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org