Install grub background image in /boot not /usr?

johnraff · 2021-12-19 07:44:40

At present we are installing the BL grub background splash images to/usr/share/images/bunsen/grub/
As I discovered the other day, that means on the usual LUKS setup - unencrypted /boot, rest of disk encrypted - the splash image is not available till after the encryption has been opened, too late for the grub menu which defaults to the Debian look.

How about putting the boot splash images in /boot/grub/images/bunsen/? We can add a symlink from the old location in case any apps or scripts were depending on it.

nobody · 2021-12-19 20:02:07

I think the cleanest way to get this done is using a hook in /etc/grub.d/ which copies the image from /usr/share/ to /boot/grub/images/ (creates the directory does not exist, and re-copies the file if it doesn't exist in /boot/grub/images).

The reason why I'm suggesting this is that on my test install of bullseye here, /boot/grub is not owned by the grub package but rather created by grub when it installs or updates itself. Hence, we should become part of the grub install or update process as well. Perhaps /etc/grub.d/05_debian_theme is a good inspiration for available variables etc, although our script would be much simpler (?)

hhh · 2021-12-19 23:52:26

While were at it, is it still a very low-rez image? 900px by 640 or something?

hhh · 2021-12-20 00:03:30

^640 by 480? Nice. I prefer a direct link instead of a hook, a better short-term resolution in my opinion.

Last edited by hhh (2021-12-20 00:05:46)

hhh · 2021-12-20 00:20:48

Just to keep the ball rolling, not quite the right dimensions, and I'm not even sold on this theme, but let's push something soon if we can. Grub mock-up..

johnraff · 2021-12-20 04:52:20

^At least, I think we're in the right colour-palette zone. That looks quite nice.

hhh wrote:

let's push something soon if we can

A new set of background images? For sure!

johnraff · 2021-12-20 05:31:06

nobody wrote:

I think the cleanest way to get this done is using a hook in /etc/grub.d/ which copies the image from /usr/share/ to /boot/grub/images/ (creates the directory does not exist, and re-copies the file if it doesn't exist in /boot/grub/images).
The reason why I'm suggesting this is that on my test install of bullseye here, /boot/grub is not owned by the grub package but rather created by grub when it installs or updates itself. Hence, we should become part of the grub install or update process as well. Perhaps /etc/grub.d/05_debian_theme is a good inspiration for available variables etc, although our script would be much simpler (?)

That would be quite easy to implement - we already ship a couple of scripts in /etc/grub.d/ from bunsen-configs, and we could have bunsen-images add one too.

But I'm not 100% convinced that such a script would really be the cleanest way to do it, compared with just installing the images. Whatever grub itself does - eg /var/lib/dpkg/info/grub-efi-amd64.postinst - the actual location of our image files is unimportant, as long as the grub config points to the right one. We use the Debian alternative desktop-grub which is picked up when running update-grub.

The thing here is to have the images somewhere inside /boot so they'll be visible before the encryption is opened. We could install them to /boot/bunsen/images and I think it would work equally well. In /boot/grub just seemed more obvious for other developers.

johnraff · 2021-12-31 07:10:28

nobody wrote:

.../boot/grub is not owned by the grub package

Come to think of it, I'm pretty sure that directories are not owned by any package anyway. They are just created and removed as necessary, although dpkg does keep track of which packages put files in them.

Last edited by johnraff (2021-12-31 07:12:37)

#1 2021-12-19 07:44:40

Install grub background image in /boot not /usr?

#2 2021-12-19 20:02:07

Re: Install grub background image in /boot not /usr?

#3 2021-12-19 23:52:26

Re: Install grub background image in /boot not /usr?

#4 2021-12-20 00:03:30

Re: Install grub background image in /boot not /usr?

#5 2021-12-20 00:20:48

Re: Install grub background image in /boot not /usr?

#6 2021-12-20 04:52:20

Re: Install grub background image in /boot not /usr?

#7 2021-12-20 05:31:06

Re: Install grub background image in /boot not /usr?

#8 2021-12-31 07:10:28

Re: Install grub background image in /boot not /usr?

Board footer