> 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-edu-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/20100307181011.gm15...@login1.uio.no

Reply via email to