cetipabo

Untitled

Jun 22nd, 2020
1,465
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. #
  2. # DO NOT EDIT THIS FILE
  3. #
  4. # It is automatically generated by grub-mkconfig using templates
  5. # from /etc/grub.d and settings from /etc/default/grub
  6. #
  7.  
  8. ### BEGIN /etc/grub.d/00_header ###
  9. if [ -s $prefix/grubenv ]; then
  10.   set have_grubenv=true
  11.   load_env
  12. fi
  13. if [ "${next_entry}" ] ; then
  14.    set default="${next_entry}"
  15.    set next_entry=
  16.    save_env next_entry
  17.    set boot_once=true
  18. else
  19.    set default="0"
  20. fi
  21.  
  22. if [ x"${feature_menuentry_id}" = xy ]; then
  23.   menuentry_id_option="--id"
  24. else
  25.   menuentry_id_option=""
  26. fi
  27.  
  28. export menuentry_id_option
  29.  
  30. if [ "${prev_saved_entry}" ]; then
  31.   set saved_entry="${prev_saved_entry}"
  32.   save_env saved_entry
  33.   set prev_saved_entry=
  34.   save_env prev_saved_entry
  35.   set boot_once=true
  36. fi
  37.  
  38. function savedefault {
  39.   if [ -z "${boot_once}" ]; then
  40.     saved_entry="${chosen}"
  41.     save_env saved_entry
  42.   fi
  43. }
  44. function load_video {
  45.   if [ x$feature_all_video_module = xy ]; then
  46.     insmod all_video
  47.   else
  48.     insmod efi_gop
  49.     insmod efi_uga
  50.     insmod ieee1275_fb
  51.     insmod vbe
  52.     insmod vga
  53.     insmod video_bochs
  54.     insmod video_cirrus
  55.   fi
  56. }
  57.  
  58. if [ x$feature_default_font_path = xy ] ; then
  59.    font=unicode
  60. else
  61. insmod part_msdos
  62. insmod part_msdos
  63. insmod diskfilter
  64. insmod mdraid09
  65. insmod ext2
  66. set root='mduuid/efad856682e16005a4d2adc226fd5302'
  67. if [ x$feature_platform_search_hint = xy ]; then
  68.   search --no-floppy --fs-uuid --set=root --hint='mduuid/efad856682e16005a4d2adc226fd5302'  f49cc14f-ee6c-4097-b229-f417acfeb319
  69. else
  70.   search --no-floppy --fs-uuid --set=root f49cc14f-ee6c-4097-b229-f417acfeb319
  71. fi
  72.     font="/usr/share/grub/unicode.pf2"
  73. fi
  74.  
  75. if loadfont $font ; then
  76.   set gfxmode=auto
  77.   load_video
  78.   insmod gfxterm
  79.   set locale_dir=$prefix/locale
  80.   set lang=fr_FR
  81.   insmod gettext
  82. fi
  83. terminal_output gfxterm
  84. if [ "${recordfail}" = 1 ] ; then
  85.   set timeout=30
  86. else
  87.   if [ x$feature_timeout_style = xy ] ; then
  88.     set timeout_style=menu
  89.     set timeout=5
  90.   # Fallback normal timeout code in case the timeout_style feature is
  91.   # unavailable.
  92.   else
  93.     set timeout=5
  94.   fi
  95. fi
  96. ### END /etc/grub.d/00_header ###
  97.  
  98. ### BEGIN /etc/grub.d/05_debian_theme ###
  99. set menu_color_normal=cyan/blue
  100. set menu_color_highlight=white/blue
  101. ### END /etc/grub.d/05_debian_theme ###
  102.  
  103. ### BEGIN /etc/grub.d/06_OVHkernel ###
  104. menuentry "Debian GNU/Linux, OVH kernel 3.10.23-xxxx-std-ipv6-64" {
  105.     insmod part_msdos
  106.     insmod part_msdos
  107.     insmod diskfilter
  108.     insmod mdraid09
  109.     insmod ext2
  110.     set root='mduuid/efad856682e16005a4d2adc226fd5302'
  111.     if [ x$feature_platform_search_hint = xy ]; then
  112.       search --no-floppy --fs-uuid --set=root --hint='mduuid/efad856682e16005a4d2adc226fd5302'  f49cc14f-ee6c-4097-b229-f417acfeb319
  113.     else
  114.       search --no-floppy --fs-uuid --set=root f49cc14f-ee6c-4097-b229-f417acfeb319
  115.     fi
  116.     linux   /boot/bzImage-3.10.23-xxxx-std-ipv6-64 root=/dev/md1 ro  quiet
  117. }
  118. ### END /etc/grub.d/06_OVHkernel ###
  119.  
  120. ### BEGIN /etc/grub.d/10_linux ###
  121. function gfxmode {
  122.     set gfxpayload="${1}"
  123. }
  124. set linux_gfx_mode=
  125. export linux_gfx_mode
  126.  
  127. ### END /etc/grub.d/10_linux ###
  128.  
  129. ### BEGIN /etc/grub.d/20_linux_xen ###
  130. ### END /etc/grub.d/20_linux_xen ###
  131.  
  132. ### BEGIN /etc/grub.d/30_os-prober ###
  133. ### END /etc/grub.d/30_os-prober ###
  134.  
  135. ### BEGIN /etc/grub.d/30_uefi-firmware ###
  136. ### END /etc/grub.d/30_uefi-firmware ###
  137.  
  138. ### BEGIN /etc/grub.d/40_custom ###
  139. # This file provides an easy way to add custom menu entries.  Simply type the
  140. # menu entries you want to add after this comment.  Be careful not to change
  141. # the 'exec tail' line above.
  142. ### END /etc/grub.d/40_custom ###
  143.  
  144. ### BEGIN /etc/grub.d/41_custom ###
  145. if [ -f  ${config_directory}/custom.cfg ]; then
  146.   source ${config_directory}/custom.cfg
  147. elif [ -z "${config_directory}" -a -f  $prefix/custom.cfg ]; then
  148.   source $prefix/custom.cfg;
  149. fi
  150. ### END /etc/grub.d/41_custom ###
RAW Paste Data