1 2# 3# DO NOT EDIT THIS FILE 4# 5# It is automatically generated by grub-mkconfig using templates 6# from /etc/grub.d and settings from /etc/default/grub 7# 8 9### BEGIN /etc/grub.d/00_header ### 10if [ -s $prefix/grubenv ]; then 11 load_env 12fi 13set default="0" 14if [ "${prev_saved_entry}" ]; then 15 set saved_entry="${prev_saved_entry}" 16 save_env saved_entry 17 set prev_saved_entry= 18 save_env prev_saved_entry 19 set boot_once=true 20fi 21 22function savedefault { 23 if [ -z "${boot_once}" ]; then 24 saved_entry="${chosen}" 25 save_env saved_entry 26 fi 27} 28 29function load_video { 30 insmod vbe 31 insmod vga 32 insmod video_bochs 33 insmod video_cirrus 34} 35 36insmod part_msdos 37insmod ext2 38set root='(/dev/xvda,msdos1)' 39search --no-floppy --fs-uuid --set=root f395d5a0-4612-4872-806c-33cd37c152f0 40if loadfont /usr/share/grub/unicode.pf2 ; then 41 set gfxmode=640x480 42 load_video 43 insmod gfxterm 44 insmod part_msdos 45 insmod ext2 46 set root='(/dev/xvda,msdos1)' 47 search --no-floppy --fs-uuid --set=root f395d5a0-4612-4872-806c-33cd37c152f0 48 set locale_dir=($root)/boot/grub/locale 49 set lang=en_US 50 insmod gettext 51fi 52terminal_output gfxterm 53set timeout=5 54### END /etc/grub.d/00_header ### 55 56### BEGIN /etc/grub.d/05_debian_theme ### 57set menu_color_normal=cyan/blue 58set menu_color_highlight=white/blue 59### END /etc/grub.d/05_debian_theme ### 60 61### BEGIN /etc/grub.d/10_linux ### 62menuentry 'Debian GNU/Linux, with Linux 3.2.0-4-amd64' --class debian --class gnu-linux --class gnu --class os { 63 load_video 64 insmod gzio 65 insmod part_msdos 66 insmod ext2 67 set root='(/dev/xvda,msdos1)' 68 search --no-floppy --fs-uuid --set=root f395d5a0-4612-4872-806c-33cd37c152f0 69 echo 'Loading Linux 3.2.0-4-amd64 ...' 70 linux /boot/vmlinuz-3.2.0-4-amd64 root=UUID=f395d5a0-4612-4872-806c-33cd37c152f0 ro 71 echo 'Loading initial ramdisk ...' 72 initrd /boot/initrd.img-3.2.0-4-amd64 73} 74menuentry 'Debian GNU/Linux, with Linux 3.2.0-4-amd64 (recovery mode)' --class debian --class gnu-linux --class gnu --class os { 75 load_video 76 insmod gzio 77 insmod part_msdos 78 insmod ext2 79 set root='(/dev/xvda,msdos1)' 80 search --no-floppy --fs-uuid --set=root f395d5a0-4612-4872-806c-33cd37c152f0 81 echo 'Loading Linux 3.2.0-4-amd64 ...' 82 linux /boot/vmlinuz-3.2.0-4-amd64 root=UUID=f395d5a0-4612-4872-806c-33cd37c152f0 ro single 83 echo 'Loading initial ramdisk ...' 84 initrd /boot/initrd.img-3.2.0-4-amd64 85} 86### END /etc/grub.d/10_linux ### 87 88### BEGIN /etc/grub.d/20_linux_xen ### 89### END /etc/grub.d/20_linux_xen ### 90 91### BEGIN /etc/grub.d/30_os-prober ### 92### END /etc/grub.d/30_os-prober ### 93 94### BEGIN /etc/grub.d/40_custom ### 95# This file provides an easy way to add custom menu entries. Simply type the 96# menu entries you want to add after this comment. Be careful not to change 97# the 'exec tail' line above. 98### END /etc/grub.d/40_custom ### 99 100### BEGIN /etc/grub.d/41_custom ### 101if [ -f $prefix/custom.cfg ]; then 102 source $prefix/custom.cfg; 103fi 104### END /etc/grub.d/41_custom ### 105