Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- #
- # DO NOT EDIT THIS FILE
- #
- # It is automatically generated by grub2-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="0"
- 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
- insmod efi_gop
- insmod efi_uga
- insmod ieee1275_fb
- insmod vbe
- insmod vga
- insmod video_bochs
- insmod video_cirrus
- fi
- }
- terminal_input console
- terminal_output console
- if sleep --interruptible 0 ; then
- set timeout=10
- fi
- ### END /etc/grub.d/00_header ###
- ### BEGIN /etc/grub.d/10_linux ###
- menuentry 'Gentoo GNU/Linux' --class gentoo --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-simple-3040ad5f-dc72-4d55-a9c5-9e70d8d2af4f' {
- load_video
- insmod gzio
- insmod part_msdos
- insmod ext2
- set root='hd0,msdos1'
- if [ x$feature_platform_search_hint = xy ]; then
- search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos1 --hint-efi=hd0,msdos1 --hint-baremetal=ahci0,msdos1 --hint='hd0,msdos1' 1827a922-6faf-49d2-b6d9-8cdbe5255347
- else
- search --no-floppy --fs-uuid --set=root 1827a922-6faf-49d2-b6d9-8cdbe5255347
- fi
- echo 'Loading Linux 3.2.1-gentoo-r2 ...'
- linux /kernel-3.2.1-gentoo-r2 root=/dev/sda3 ro
- }
- submenu 'Advanced options for Gentoo GNU/Linux' $menuentry_id_option 'gnulinux-advanced-3040ad5f-dc72-4d55-a9c5-9e70d8d2af4f' {
- menuentry 'Gentoo GNU/Linux, with Linux 3.2.1-gentoo-r2' --class gentoo --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.2.1-gentoo-r2-advanced-3040ad5f-dc72-4d55-a9c5-9e70d8d2af4f' {
- load_video
- insmod gzio
- insmod part_msdos
- insmod ext2
- set root='hd0,msdos1'
- if [ x$feature_platform_search_hint = xy ]; then
- search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos1 --hint-efi=hd0,msdos1 --hint-baremetal=ahci0,msdos1 --hint='hd0,msdos1' 1827a922-6faf-49d2-b6d9-8cdbe5255347
- else
- search --no-floppy --fs-uuid --set=root 1827a922-6faf-49d2-b6d9-8cdbe5255347
- fi
- echo 'Loading Linux 3.2.1-gentoo-r2 ...'
- linux /kernel-3.2.1-gentoo-r2 root=/dev/sda3 ro
- }
- menuentry 'Gentoo GNU/Linux, with Linux 3.2.1-gentoo-r2 (recovery mode)' --class gentoo --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.2.1-gentoo-r2-recovery-3040ad5f-dc72-4d55-a9c5-9e70d8d2af4f' {
- load_video
- insmod gzio
- insmod part_msdos
- insmod ext2
- set root='hd0,msdos1'
- if [ x$feature_platform_search_hint = xy ]; then
- search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos1 --hint-efi=hd0,msdos1 --hint-baremetal=ahci0,msdos1 --hint='hd0,msdos1' 1827a922-6faf-49d2-b6d9-8cdbe5255347
- else
- search --no-floppy --fs-uuid --set=root 1827a922-6faf-49d2-b6d9-8cdbe5255347
- fi
- echo 'Loading Linux 3.2.1-gentoo-r2 ...'
- linux /kernel-3.2.1-gentoo-r2 root=/dev/sda3 ro single
- }
- }
- ### 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 ###
- ### 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 ${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 ###
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement