bug#45508: ‘guix system disk-image‘ installs GRUB debug files

[Stefan]

Hi!

I noticed that ‘guix system disk-image’ installs GRUB with its debug files, 
which doubles the size for GRUB inside the image.

There is gnu/bootloader/grub.scm (install-grub), which does a simple

  (copy-recursively (string-append bootloader "/lib/") install-dir)

This also copies gdb_grub, gmodule.pl and all *.module files, in total about 
200 files. These *.module file are basically unstriped versions of the *.mod 
files.

The (install-grub) function should prevent to install these files, or – 
possibly better – the grub package could move these files into a separate debug 
output.


Bye

Stefan