API tools faq
paste
Advertisement
Guest User

Untitled

a guest
Feb 13th, 2016
107
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 9.56 KB | None | 0 0
raw download clone embed print report
  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 ###
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
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
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!