Am 03.10.18 um 12:19 schrieb Michael Wagner:
apt-file search /grub/i386-pc/normal.mod
# apt-file search /grub/i386-pc/normal.mod grub-pc-bin: /usr/lib/grub/i386-pc/normal.mod grub-pc-dbg: /usr/lib/grub/i386-pc/normal.module -- Beste Grüße Sigi