Re: default GNOME desktop background

[Leo Prikler]

> I know that at least on my machine I have a grub-image.png file in my
> store.  I don't know if that helps...
> 
> find /gnu/store -name '*grub-image*'
It is on (almost) everyone's machine, see (gnu bootloader grub) on how
it's derived.  You can probably copy most of the steps up to the
definition of svg->png with minor modifications.  If you want to see
how the path is pasted into the config file, you can scroll down until
the eye-candy function.  Be aware, that only the 4:3 image is up to
date.