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="2"
- 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_msdos
- insmod ext2
- set root='(hd0,msdos1)'
- search --no-floppy --fs-uuid --set=root e420394d-7bca-4d8c-b553-137e12dafc59
- if loadfont /usr/share/grub/unicode.pf2 ; then
- set gfxmode=640x480
- load_video
- insmod gfxterm
- insmod part_msdos
- insmod ext2
- set root='(hd0,msdos1)'
- search --no-floppy --fs-uuid --set=root e420394d-7bca-4d8c-b553-137e12dafc59
- set locale_dir=($root)/boot/grub/locale
- set lang=en_US
- insmod gettext
- fi
- terminal_output gfxterm
- set timeout=5
- ### END /etc/grub.d/00_header ###
- ### BEGIN /etc/grub.d/05_debian_theme ###
- insmod part_msdos
- insmod ext2
- set root='(hd0,msdos1)'
- search --no-floppy --fs-uuid --set=root e420394d-7bca-4d8c-b553-137e12dafc59
- insmod png
- if background_image /usr/share/images/desktop-base/joy-grub.png; then
- set color_normal=white/black
- set color_highlight=black/white
- else
- set menu_color_normal=cyan/blue
- set menu_color_highlight=white/blue
- fi
- ### 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 {
- load_video
- insmod gzio
- insmod part_msdos
- insmod ext2
- set root='(hd0,msdos1)'
- search --no-floppy --fs-uuid --set=root e420394d-7bca-4d8c-b553-137e12dafc59
- echo 'Loading Linux 3.2.0-4-amd64 ...'
- linux /boot/vmlinuz-3.2.0-4-amd64 root=UUID=e420394d-7bca-4d8c-b553-137e12dafc59 ro quiet
- echo 'Loading initial ramdisk ...'
- initrd /boot/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 {
- load_video
- insmod gzio
- insmod part_msdos
- insmod ext2
- set root='(hd0,msdos1)'
- search --no-floppy --fs-uuid --set=root e420394d-7bca-4d8c-b553-137e12dafc59
- echo 'Loading Linux 3.2.0-4-amd64 ...'
- linux /boot/vmlinuz-3.2.0-4-amd64 root=UUID=e420394d-7bca-4d8c-b553-137e12dafc59 ro single
- echo 'Loading initial ramdisk ...'
- initrd /boot/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/30_os-prober ###
- menuentry "CRUX (on /dev/sda3)" --class gnu-linux --class gnu --class os {
- insmod part_msdos
- insmod ext2
- set root='(hd0,msdos3)'
- search --no-floppy --fs-uuid --set=root cded5248-3b8c-4161-a776-8a1591636046
- linux /boot/vmlinuz root=/dev/sda3 ro quiet
- }
- menuentry "Linux (on /dev/sda4)" --class gnu-linux --class gnu --class os {
- insmod part_msdos
- insmod btrfs
- set root='(hd0,msdos4)'
- search --no-floppy --fs-uuid --set=root 5cefdb2a-e416-40be-a1c6-6e2620f4a50b
- linux /boot/vmlinuz root=/dev/sda4 ro quiet vt.default_utf8=1 vga = 791
- }
- ### 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