> Hi, package "grub2-splashimages" will set a default wallpaper for grub2. > > In /etc/grub.d/05_debian_theme you can change: > > WALLPAPER="/usr/share/images/grub/your_image.png" > > .jpg and .tga work too. It's also possible to change the menu colours in > the same file.
Thank you both of you for providing clues on how to do this. As we do not want to edit other packages configuration files, but instead want to provide our own theme using a file in the debian-edu-artwork package. The only way to do this seem to be to provide the /usr/share/desktop-base/grub_background.sh file in our artwork package. It can for example have content like this: WALLPAPER="/usr/share/pixmaps/splash/debian-edu-splash.png" COLOR_NORMAL="white/black" COLOR_HIGHLIGHT="magenta/black" I suspect we need to conflict with the other packages providing /usr/share/desktop-base/grub_background.sh. Might be a good idea to rewrite the grub scripts to allow other files to be used to specify the theme. Happy hacking, -- Petter Reinholdtsen -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
