Bug#697450: grub-common: insmod part_gpt included twice

[Laurens Blankers]

On 6-1-2013 23:08, Colin Watson wrote:
> This is unlikely to be a problem, and we don't consider the
> duplication to be a bug; but please attach the entirety of
> /boot/grub/grub.cfg so that it's possible to make sure. I can't tell
> from just the extract you posted. Thanks, 
Full grub.cfg attached. Something else which may be of interest is that
the system contains 2 identical disks both with GPT.

Laurens

-------------- next part --------------
#
# DO NOT EDIT THIS FILE
#
# It is automatically generated by grub-mkconfig using templates
# from /etc/grub.d and settings from /etc/default/grub
#

### BEGIN /etc/grub.d/00_header ###
if [ -s $prefix/grubenv ]; then
  load_env
fi
set default="0"
if [ "${prev_saved_entry}" ]; then
  set saved_entry="${prev_saved_entry}"
  save_env saved_entry
  set prev_saved_entry=
  save_env prev_saved_entry
  set boot_once=true
fi

function savedefault {
  if [ -z "${boot_once}" ]; then
    saved_entry="${chosen}"
    save_env saved_entry
  fi
}

function load_video {
  insmod vbe
  insmod vga
  insmod video_bochs
  insmod video_cirrus
}

set timeout=5
### END /etc/grub.d/00_header ###

### BEGIN /etc/grub.d/05_debian_theme ###
set menu_color_normal=cyan/blue
set menu_color_highlight=white/blue
### END /etc/grub.d/05_debian_theme ###

### BEGIN /etc/grub.d/10_linux ###
menuentry 'Debian GNU/Linux, with Linux 3.2.0-4-amd64' --class debian --class gnu-linux --class gnu --class os {
	insmod gzio
	insmod raid
	insmod mdraid1x
	insmod part_gpt
	insmod part_gpt
	insmod ext2
	set root='(mduuid/56b3c4336d34eeae5a58591d1cd0e87d)'
	search --no-floppy --fs-uuid --set=root 3b5b6863-f0c5-48bd-a210-d284f438b875
	echo	'Loading Linux 3.2.0-4-amd64 ...'
	linux	/vmlinuz-3.2.0-4-amd64 root=/dev/mapper/vg-host ro  quiet
	echo	'Loading initial ramdisk ...'
	initrd	/initrd.img-3.2.0-4-amd64
}
menuentry 'Debian GNU/Linux, with Linux 3.2.0-4-amd64 (recovery mode)' --class debian --class gnu-linux --class gnu --class os {
	insmod gzio
	insmod raid
	insmod mdraid1x
	insmod part_gpt
	insmod part_gpt
	insmod ext2
	set root='(mduuid/56b3c4336d34eeae5a58591d1cd0e87d)'
	search --no-floppy --fs-uuid --set=root 3b5b6863-f0c5-48bd-a210-d284f438b875
	echo	'Loading Linux 3.2.0-4-amd64 ...'
	linux	/vmlinuz-3.2.0-4-amd64 root=/dev/mapper/vg-host ro single 
	echo	'Loading initial ramdisk ...'
	initrd	/initrd.img-3.2.0-4-amd64
}
### END /etc/grub.d/10_linux ###

### BEGIN /etc/grub.d/20_linux_xen ###
### END /etc/grub.d/20_linux_xen ###

### BEGIN /etc/grub.d/20_memtest86+ ###
menuentry "Memory test (memtest86+)" {
	insmod raid
	insmod mdraid1x
	insmod part_gpt
	insmod part_gpt
	insmod ext2
	set root='(mduuid/56b3c4336d34eeae5a58591d1cd0e87d)'
	search --no-floppy --fs-uuid --set=root 3b5b6863-f0c5-48bd-a210-d284f438b875
	linux16	/memtest86+.bin
}
menuentry "Memory test (memtest86+, serial console 115200)" {
	insmod raid
	insmod mdraid1x
	insmod part_gpt
	insmod part_gpt
	insmod ext2
	set root='(mduuid/56b3c4336d34eeae5a58591d1cd0e87d)'
	search --no-floppy --fs-uuid --set=root 3b5b6863-f0c5-48bd-a210-d284f438b875
	linux16	/memtest86+.bin console=ttyS0,115200n8
}
menuentry "Memory test (memtest86+, experimental multiboot)" {
	insmod raid
	insmod mdraid1x
	insmod part_gpt
	insmod part_gpt
	insmod ext2
	set root='(mduuid/56b3c4336d34eeae5a58591d1cd0e87d)'
	search --no-floppy --fs-uuid --set=root 3b5b6863-f0c5-48bd-a210-d284f438b875
	multiboot	/memtest86+_multiboot.bin
}
menuentry "Memory test (memtest86+, serial console 115200, experimental multiboot)" {
	insmod raid
	insmod mdraid1x
	insmod part_gpt
	insmod part_gpt
	insmod ext2
	set root='(mduuid/56b3c4336d34eeae5a58591d1cd0e87d)'
	search --no-floppy --fs-uuid --set=root 3b5b6863-f0c5-48bd-a210-d284f438b875
	multiboot	/memtest86+_multiboot.bin console=ttyS0,115200n8
}
### END /etc/grub.d/20_memtest86+ ###

### BEGIN /etc/grub.d/30_os-prober ###
### END /etc/grub.d/30_os-prober ###

### BEGIN /etc/grub.d/40_custom ###
# This file provides an easy way to add custom menu entries.  Simply type the
# menu entries you want to add after this comment.  Be careful not to change
# the 'exec tail' line above.
### END /etc/grub.d/40_custom ###

### BEGIN /etc/grub.d/41_custom ###
if [ -f  $prefix/custom.cfg ]; then
  source $prefix/custom.cfg;
fi
### END /etc/grub.d/41_custom ###