SHARE
TWEET

Untitled

a guest Feb 13th, 2016 67 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 recordfail {
  45.   set recordfail=1
  46.   if [ -n "${have_grubenv}" ]; then if [ -z "${boot_once}" ]; then save_env recordfail; fi; fi
  47. }
  48. function load_video {
  49.   if [ x$feature_all_video_module = xy ]; then
  50.     insmod all_video
  51.   else
  52.     insmod efi_gop
  53.     insmod efi_uga
  54.     insmod ieee1275_fb
  55.     insmod vbe
  56.     insmod vga
  57.     insmod video_bochs
  58.     insmod video_cirrus
  59.   fi
  60. }
  61.  
  62. if [ x$feature_default_font_path = xy ] ; then
  63.    font=unicode
  64. else
  65. insmod part_gpt
  66. insmod ext2
  67. if [ x$feature_platform_search_hint = xy ]; then
  68.   search --no-floppy --fs-uuid --set=root  ccdddc75-bd25-4fb6-98c2-55da313f529f
  69. else
  70.   search --no-floppy --fs-uuid --set=root ccdddc75-bd25-4fb6-98c2-55da313f529f
  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=10
  90.   # Fallback normal timeout code in case the timeout_style feature is
  91.   # unavailable.
  92.   else
  93.     set timeout=10
  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=white/black
  100. set menu_color_highlight=black/light-gray
  101. if background_color 0,0,0; then
  102.   clear
  103. fi
  104. ### END /etc/grub.d/05_debian_theme ###
  105.  
  106. ### BEGIN /etc/grub.d/06_mint_theme ###
  107. set menu_color_normal=white/black
  108. set menu_color_highlight=white/light-gray
  109. ### END /etc/grub.d/06_mint_theme ###
  110.  
  111. ### BEGIN /etc/grub.d/10_linux ###
  112. function gfxmode {
  113.         set gfxpayload="${1}"
  114.         if [ "${1}" = "keep" ]; then
  115.                 set vt_handoff=vt.handoff=7
  116.         else
  117.                 set vt_handoff=
  118.         fi
  119. }
  120. if [ "${recordfail}" != 1 ]; then
  121.   if [ -e ${prefix}/gfxblacklist.txt ]; then
  122.     if hwmatch ${prefix}/gfxblacklist.txt 3; then
  123.       if [ ${match} = 0 ]; then
  124.         set linux_gfx_mode=keep
  125.       else
  126.         set linux_gfx_mode=text
  127.       fi
  128.     else
  129.       set linux_gfx_mode=text
  130.     fi
  131.   else
  132.     set linux_gfx_mode=keep
  133.   fi
  134. else
  135.   set linux_gfx_mode=text
  136. fi
  137. export linux_gfx_mode
  138. menuentry 'Linux Mint 17.3 KDE 64-bit' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-simple-ccdddc75-bd25-4fb6-98c2-55da313f529f' {
  139.         recordfail
  140.         load_video
  141.         gfxmode $linux_gfx_mode
  142.         insmod gzio
  143.         insmod part_gpt
  144.         insmod ext2
  145.         if [ x$feature_platform_search_hint = xy ]; then
  146.           search --no-floppy --fs-uuid --set=root  ccdddc75-bd25-4fb6-98c2-55da313f529f
  147.         else
  148.           search --no-floppy --fs-uuid --set=root ccdddc75-bd25-4fb6-98c2-55da313f529f
  149.         fi
  150.         linux   /boot/vmlinuz-4.5.0-040500rc3-generic root=UUID=ccdddc75-bd25-4fb6-98c2-55da313f529f ro  quiet splash $vt_handoff
  151.         initrd  /boot/initrd.img-4.5.0-040500rc3-generic
  152. }
  153. submenu 'Options avancées pour Linux Mint 17.3 KDE 64-bit' $menuentry_id_option 'gnulinux-advanced-ccdddc75-bd25-4fb6-98c2-55da313f529f' {
  154.         menuentry 'Linux Mint 17.3 KDE 64-bit, avec Linux 4.5.0-040500rc3-generic' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-4.5.0-040500rc3-generic-advanced-ccdddc75-bd25-4fb6-98c2-55da313f529f' {
  155.                 recordfail
  156.                 load_video
  157.                 gfxmode $linux_gfx_mode
  158.                 insmod gzio
  159.                 insmod part_gpt
  160.                 insmod ext2
  161.                 if [ x$feature_platform_search_hint = xy ]; then
  162.                   search --no-floppy --fs-uuid --set=root  ccdddc75-bd25-4fb6-98c2-55da313f529f
  163.                 else
  164.                   search --no-floppy --fs-uuid --set=root ccdddc75-bd25-4fb6-98c2-55da313f529f
  165.                 fi
  166.                 echo    'Chargement de Linux 4.5.0-040500rc3-generic…'
  167.                 linux   /boot/vmlinuz-4.5.0-040500rc3-generic root=UUID=ccdddc75-bd25-4fb6-98c2-55da313f529f ro  quiet splash $vt_handoff
  168.                 echo    'Chargement du disque mémoire initial…'
  169.                 initrd  /boot/initrd.img-4.5.0-040500rc3-generic
  170.         }
  171.         menuentry 'Linux Mint 17.3 KDE 64-bit, with Linux 4.5.0-040500rc3-generic (recovery mode)' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-4.5.0-040500rc3-generic-recovery-ccdddc75-bd25-4fb6-98c2-55da313f529f' {
  172.                 recordfail
  173.                 load_video
  174.                 insmod gzio
  175.                 insmod part_gpt
  176.                 insmod ext2
  177.                 if [ x$feature_platform_search_hint = xy ]; then
  178.                   search --no-floppy --fs-uuid --set=root  ccdddc75-bd25-4fb6-98c2-55da313f529f
  179.                 else
  180.                   search --no-floppy --fs-uuid --set=root ccdddc75-bd25-4fb6-98c2-55da313f529f
  181.                 fi
  182.                 echo    'Chargement de Linux 4.5.0-040500rc3-generic…'
  183.                 linux   /boot/vmlinuz-4.5.0-040500rc3-generic root=UUID=ccdddc75-bd25-4fb6-98c2-55da313f529f ro recovery nomodeset
  184.                 echo    'Chargement du disque mémoire initial…'
  185.                 initrd  /boot/initrd.img-4.5.0-040500rc3-generic
  186.         }
  187.         menuentry 'Linux Mint 17.3 KDE 64-bit, avec Linux 3.19.0-32-generic' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.19.0-32-generic-advanced-ccdddc75-bd25-4fb6-98c2-55da313f529f' {
  188.                 recordfail
  189.                 load_video
  190.                 gfxmode $linux_gfx_mode
  191.                 insmod gzio
  192.                 insmod part_gpt
  193.                 insmod ext2
  194.                 if [ x$feature_platform_search_hint = xy ]; then
  195.                   search --no-floppy --fs-uuid --set=root  ccdddc75-bd25-4fb6-98c2-55da313f529f
  196.                 else
  197.                   search --no-floppy --fs-uuid --set=root ccdddc75-bd25-4fb6-98c2-55da313f529f
  198.                 fi
  199.                 echo    'Chargement de Linux 3.19.0-32-generic…'
  200.                 linux   /boot/vmlinuz-3.19.0-32-generic root=UUID=ccdddc75-bd25-4fb6-98c2-55da313f529f ro  quiet splash $vt_handoff
  201.                 echo    'Chargement du disque mémoire initial…'
  202.                 initrd  /boot/initrd.img-3.19.0-32-generic
  203.         }
  204.         menuentry 'Linux Mint 17.3 KDE 64-bit, with Linux 3.19.0-32-generic (recovery mode)' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.19.0-32-generic-recovery-ccdddc75-bd25-4fb6-98c2-55da313f529f' {
  205.                 recordfail
  206.                 load_video
  207.                 insmod gzio
  208.                 insmod part_gpt
  209.                 insmod ext2
  210.                 if [ x$feature_platform_search_hint = xy ]; then
  211.                   search --no-floppy --fs-uuid --set=root  ccdddc75-bd25-4fb6-98c2-55da313f529f
  212.                 else
  213.                   search --no-floppy --fs-uuid --set=root ccdddc75-bd25-4fb6-98c2-55da313f529f
  214.                 fi
  215.                 echo    'Chargement de Linux 3.19.0-32-generic…'
  216.                 linux   /boot/vmlinuz-3.19.0-32-generic root=UUID=ccdddc75-bd25-4fb6-98c2-55da313f529f ro recovery nomodeset
  217.                 echo    'Chargement du disque mémoire initial…'
  218.                 initrd  /boot/initrd.img-3.19.0-32-generic
  219.         }
  220. }
  221.  
  222. ### END /etc/grub.d/10_linux ###
  223.  
  224. ### BEGIN /etc/grub.d/20_linux_xen ###
  225.  
  226. ### END /etc/grub.d/20_linux_xen ###
  227.  
  228. ### BEGIN /etc/grub.d/20_memtest86+ ###
  229. ### END /etc/grub.d/20_memtest86+ ###
  230.  
  231. ### BEGIN /etc/grub.d/30_os-prober ###
  232. menuentry 'Windows Boot Manager (sur /dev/nvme0n1p2)' --class windows --class os $menuentry_id_option 'osprober-efi-6A65-4C30' {
  233.         insmod part_gpt
  234.         insmod fat
  235.         if [ x$feature_platform_search_hint = xy ]; then
  236.           search --no-floppy --fs-uuid --set=root  6A65-4C30
  237.         else
  238.           search --no-floppy --fs-uuid --set=root 6A65-4C30
  239.         fi
  240.         chainloader /EFI/Microsoft/Boot/bootmgfw.efi
  241. }
  242. set timeout_style=menu
  243. if [ "${timeout}" = 0 ]; then
  244.   set timeout=10
  245. fi
  246. ### END /etc/grub.d/30_os-prober ###
  247.  
  248. ### BEGIN /etc/grub.d/30_uefi-firmware ###
  249. menuentry 'System setup' $menuentry_id_option 'uefi-firmware' {
  250.         fwsetup
  251. }
  252. ### END /etc/grub.d/30_uefi-firmware ###
  253.  
  254. ### BEGIN /etc/grub.d/40_custom ###
  255. # This file provides an easy way to add custom menu entries.  Simply type the
  256. # menu entries you want to add after this comment.  Be careful not to change
  257. # the 'exec tail' line above.
  258. ### END /etc/grub.d/40_custom ###
  259.  
  260. ### BEGIN /etc/grub.d/41_custom ###
  261. if [ -f  ${config_directory}/custom.cfg ]; then
  262.   source ${config_directory}/custom.cfg
  263. elif [ -z "${config_directory}" -a -f  $prefix/custom.cfg ]; then
  264.   source $prefix/custom.cfg;
  265. fi
  266. ### END /etc/grub.d/41_custom ###
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
Top