Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- #
- # 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
- }
- insmod part_gpt
- insmod ext2
- set root='(hd0,gpt3)'
- search --no-floppy --fs-uuid --set=root 96adb702-2619-4a61-9725-90434c50d394
- if loadfont /usr/share/grub/unicode.pf2 ; then
- set gfxmode=640x480
- load_video
- insmod gfxterm
- fi
- terminal_output gfxterm
- insmod part_gpt
- insmod ext2
- set root='(hd0,gpt4)'
- search --no-floppy --fs-uuid --set=root 99e8fd32-d762-4fe9-a526-561bf909ba85
- set locale_dir=($root)/grub/locale
- set lang=en_GB
- insmod gettext
- set timeout=5
- ### END /etc/grub.d/00_header ###
- ### BEGIN /etc/grub.d/10_linux ###
- menuentry 'Gentoo GNU/Linux, with Linux 2.6.39-gentoo-r2' --class gentoo --class gnu-linux --class gnu --class os {
- load_video
- insmod part_gpt
- insmod ext2
- set root='(hd0,gpt4)'
- search --no-floppy --fs-uuid --set=root 99e8fd32-d762-4fe9-a526-561bf909ba85
- echo 'Loading Linux 2.6.39-gentoo-r2 ...'
- linux /vmlinuz-2.6.39-gentoo-r2 root=/dev/sda3 ro
- }
- menuentry 'Gentoo GNU/Linux, with Linux 2.6.39-gentoo-r2 (recovery mode)' --class gentoo --class gnu-linux --class gnu --class os {
- load_video
- insmod part_gpt
- insmod ext2
- set root='(hd0,gpt4)'
- search --no-floppy --fs-uuid --set=root 99e8fd32-d762-4fe9-a526-561bf909ba85
- echo 'Loading Linux 2.6.39-gentoo-r2 ...'
- linux /vmlinuz-2.6.39-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 $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