Compare Pastes

Generating grub configuration file ...

#

# 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

if [ "${next_entry}" ] ; then

   set default="${next_entry}"

   set next_entry=

   save_env next_entry

   set boot_once=true

else

   set default="${saved_entry}"

fi

if [ x"${feature_menuentry_id}" = xy ]; then

  menuentry_id_option="--id"

else

  menuentry_id_option=""

fi

export menuentry_id_option

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 {

  if [ x$feature_all_video_module = xy ]; then

    insmod all_video

  else

    for vm in efi_gop efi_uga ieee1275_fb vbe vga video_bochs video_cirrus

    do

      if [ -f ${prefix}/${vm}.mod ]

      then

        insmod $vm

      fi

    done

  fi

}

terminal_input console

terminal_output console

if [ x$feature_timeout_style = xy ] ; then

  set timeout_style=menu

  set timeout=2

# Fallback normal timeout code in case the timeout_style feature is

# unavailable.

else

  set timeout=2

fi

### END /etc/grub.d/00_header ###

### BEGIN /etc/grub.d/05_theme ###

### END /etc/grub.d/05_theme ###

### BEGIN /etc/grub.d/10_linux ###

### END /etc/grub.d/10_linux ###

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

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

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

Warning: os-prober will not be executed to detect other bootable partitions.

Systems on them will not be added to the GRUB boot configuration.

Check GRUB_DISABLE_OS_PROBER documentation entry.

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

### BEGIN /etc/grub.d/30_uefi-firmware ###

### END /etc/grub.d/30_uefi-firmware ###

### BEGIN /etc/grub.d/39_memtest86+ ###

submenu 'Memtest86+' --unrestricted {

Found memtest image: /boot/memtest86plus/memtest.bin

        menuentry 'Memtest86+' --unrestricted {

                insmod part_msdos

                insmod ext2

                set root='hd1,msdos1'

                if [ x$feature_platform_search_hint = xy ]; then

                  search --no-floppy --fs-uuid --set=root --hint-bios=hd1,msdos1 --hint-efi=hd1,msdos1 --hint-baremetal=ahci1,msdos1  71638f91-1b31-4edb-a58c-e22a4bffe5b7

                else

                  search --no-floppy --fs-uuid --set=root 71638f91-1b31-4edb-a58c-e22a4bffe5b7

                fi

                linux16 "/boot/memtest86plus/memtest.bin"

        }

Found memtest image: /boot/memtest86plus/memtest

        menuentry 'Memtest86+ (ELF)' {

                insmod part_msdos

                insmod ext2

                set root='hd1,msdos1'

                if [ x$feature_platform_search_hint = xy ]; then

                  search --no-floppy --fs-uuid --set=root --hint-bios=hd1,msdos1 --hint-efi=hd1,msdos1 --hint-baremetal=ahci1,msdos1  71638f91-1b31-4edb-a58c-e22a4bffe5b7

                else

                  search --no-floppy --fs-uuid --set=root 71638f91-1b31-4edb-a58c-e22a4bffe5b7

                fi

                knetbsd "/boot/memtest86plus/memtest"

        }

}

### END /etc/grub.d/39_memtest86+ ###

### 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  ${config_directory}/custom.cfg ]; then

  source ${config_directory}/custom.cfg

elif [ -z "${config_directory}" -a -f  $prefix/custom.cfg ]; then

  source $prefix/custom.cfg

fi

### END /etc/grub.d/41_custom ###