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
- set have_grubenv=true
- 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
- }
- if [ x$feature_default_font_path = xy ] ; then
- font=unicode
- else
- insmod part_msdos
- insmod part_msdos
- insmod diskfilter
- insmod mdraid09
- insmod ext2
- set root='mduuid/efad856682e16005a4d2adc226fd5302'
- if [ x$feature_platform_search_hint = xy ]; then
- search --no-floppy --fs-uuid --set=root --hint='mduuid/efad856682e16005a4d2adc226fd5302' f49cc14f-ee6c-4097-b229-f417acfeb319
- else
- search --no-floppy --fs-uuid --set=root f49cc14f-ee6c-4097-b229-f417acfeb319
- fi
- font="/usr/share/grub/unicode.pf2"
- fi
- if loadfont $font ; then
- set gfxmode=auto
- load_video
- insmod gfxterm
- set locale_dir=$prefix/locale
- set lang=fr_FR
- insmod gettext
- fi
- terminal_output gfxterm
- if [ "${recordfail}" = 1 ] ; then
- set timeout=30
- else
- if [ x$feature_timeout_style = xy ] ; then
- set timeout_style=menu
- set timeout=5
- # Fallback normal timeout code in case the timeout_style feature is
- # unavailable.
- else
- set timeout=5
- fi
- fi
- ### END /etc/grub.d/00_header ###
- ### BEGIN /etc/grub.d/05_debian_theme ###
- set menu_color_normal=cyan/blue
- set menu_color_highlight=white/blue
- ### END /etc/grub.d/05_debian_theme ###
- ### BEGIN /etc/grub.d/06_OVHkernel ###
- menuentry "Debian GNU/Linux, OVH kernel 3.10.23-xxxx-std-ipv6-64" {
- insmod part_msdos
- insmod part_msdos
- insmod diskfilter
- insmod mdraid09
- insmod ext2
- set root='mduuid/efad856682e16005a4d2adc226fd5302'
- if [ x$feature_platform_search_hint = xy ]; then
- search --no-floppy --fs-uuid --set=root --hint='mduuid/efad856682e16005a4d2adc226fd5302' f49cc14f-ee6c-4097-b229-f417acfeb319
- else
- search --no-floppy --fs-uuid --set=root f49cc14f-ee6c-4097-b229-f417acfeb319
- fi
- linux /boot/bzImage-3.10.23-xxxx-std-ipv6-64 root=/dev/md1 ro quiet
- }
- ### END /etc/grub.d/06_OVHkernel ###
- ### BEGIN /etc/grub.d/10_linux ###
- function gfxmode {
- set gfxpayload="${1}"
- }
- set linux_gfx_mode=
- export linux_gfx_mode
- ### 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/30_uefi-firmware ###
- ### END /etc/grub.d/30_uefi-firmware ###
- ### 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