spacepaste

  1.  
  2. #
  3. # DO NOT EDIT THIS FILE
  4. #
  5. # It is automatically generated by grub-mkconfig using templates
  6. # from /etc/grub.d and settings from /etc/default/grub
  7. #
  8. ### BEGIN /etc/grub.d/00_header ###
  9. if [ -s $prefix/grubenv ]; then
  10. load_env
  11. fi
  12. if [ "${next_entry}" ] ; then
  13. set default="${next_entry}"
  14. set next_entry=
  15. save_env next_entry
  16. set boot_once=true
  17. else
  18. set default="0"
  19. fi
  20. if [ x"${feature_menuentry_id}" = xy ]; then
  21. menuentry_id_option="--id"
  22. else
  23. menuentry_id_option=""
  24. fi
  25. export menuentry_id_option
  26. if [ "${prev_saved_entry}" ]; then
  27. set saved_entry="${prev_saved_entry}"
  28. save_env saved_entry
  29. set prev_saved_entry=
  30. save_env prev_saved_entry
  31. set boot_once=true
  32. fi
  33. function savedefault {
  34. if [ -z "${boot_once}" ]; then
  35. saved_entry="${chosen}"
  36. save_env saved_entry
  37. fi
  38. }
  39. function load_video {
  40. if [ x$feature_all_video_module = xy ]; then
  41. insmod all_video
  42. else
  43. insmod efi_gop
  44. insmod efi_uga
  45. insmod ieee1275_fb
  46. insmod vbe
  47. insmod vga
  48. insmod video_bochs
  49. insmod video_cirrus
  50. fi
  51. }
  52. if [ x$feature_default_font_path = xy ] ; then
  53. font=unicode
  54. else
  55. insmod part_gpt
  56. insmod ext2
  57. set root='hd1,gpt4'
  58. if [ x$feature_platform_search_hint = xy ]; then
  59. search --no-floppy --fs-uuid --set=root --hint-bios=hd1,gpt4 --hint-efi=hd1,gpt4 --hint-baremetal=ahci1,gpt4 09f4ecb0-be42-4153-980b-b61548f47597
  60. else
  61. search --no-floppy --fs-uuid --set=root 09f4ecb0-be42-4153-980b-b61548f47597
  62. fi
  63. font="/usr/share/grub/unicode.pf2"
  64. fi
  65. if loadfont $font ; then
  66. set gfxmode=auto
  67. load_video
  68. insmod gfxterm
  69. set locale_dir=$prefix/locale
  70. set lang=it_IT
  71. insmod gettext
  72. fi
  73. terminal_output gfxterm
  74. if [ x$feature_timeout_style = xy ] ; then
  75. set timeout_style=menu
  76. set timeout=5
  77. # Fallback normal timeout code in case the timeout_style feature is
  78. # unavailable.
  79. else
  80. set timeout=5
  81. fi
  82. ### END /etc/grub.d/00_header ###
  83. ### BEGIN /etc/grub.d/10_linux ###
  84. menuentry 'Gentoo GNU/Linux' --class gentoo --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-simple-09f4ecb0-be42-4153-980b-b61548f47597' {
  85. load_video
  86. if [ "x$grub_platform" = xefi ]; then
  87. set gfxpayload=keep
  88. fi
  89. insmod gzio
  90. insmod part_gpt
  91. insmod ext2
  92. set root='hd1,gpt4'
  93. if [ x$feature_platform_search_hint = xy ]; then
  94. search --no-floppy --fs-uuid --set=root --hint-bios=hd1,gpt4 --hint-efi=hd1,gpt4 --hint-baremetal=ahci1,gpt4 09f4ecb0-be42-4153-980b-b61548f47597
  95. else
  96. search --no-floppy --fs-uuid --set=root 09f4ecb0-be42-4153-980b-b61548f47597
  97. fi
  98. echo 'Caricamento Linux x86_64-4.4.26-gentoo...'
  99. linux /boot/kernel-genkernel-x86_64-4.4.26-gentoo root=UUID=09f4ecb0-be42-4153-980b-b61548f47597 ro
  100. echo 'Caricamento ramdisk iniziale...'
  101. initrd /boot/initramfs-genkernel-x86_64-4.4.26-gentoo
  102. }
  103. submenu 'Opzioni avanzate per Gentoo GNU/Linux' $menuentry_id_option 'gnulinux-advanced-09f4ecb0-be42-4153-980b-b61548f47597' {
  104. menuentry 'Gentoo GNU/Linux, con Linux x86_64-4.4.26-gentoo' --class gentoo --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-x86_64-4.4.26-gentoo-advanced-09f4ecb0-be42-4153-980b-b61548f47597' {
  105. load_video
  106. if [ "x$grub_platform" = xefi ]; then
  107. set gfxpayload=keep
  108. fi
  109. insmod gzio
  110. insmod part_gpt
  111. insmod ext2
  112. set root='hd1,gpt4'
  113. if [ x$feature_platform_search_hint = xy ]; then
  114. search --no-floppy --fs-uuid --set=root --hint-bios=hd1,gpt4 --hint-efi=hd1,gpt4 --hint-baremetal=ahci1,gpt4 09f4ecb0-be42-4153-980b-b61548f47597
  115. else
  116. search --no-floppy --fs-uuid --set=root 09f4ecb0-be42-4153-980b-b61548f47597
  117. fi
  118. echo 'Caricamento Linux x86_64-4.4.26-gentoo...'
  119. linux /boot/kernel-genkernel-x86_64-4.4.26-gentoo root=UUID=09f4ecb0-be42-4153-980b-b61548f47597 ro
  120. echo 'Caricamento ramdisk iniziale...'
  121. initrd /boot/initramfs-genkernel-x86_64-4.4.26-gentoo
  122. }
  123. menuentry 'Gentoo GNU/Linux, con Linux x86_64-4.4.26-gentoo (modalit´┐Ż ripristino)' --class gentoo --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-x86_64-4.4.26-gentoo-recovery-09f4ecb0-be42-4153-980b-b61548f47597' {
  124. load_video
  125. if [ "x$grub_platform" = xefi ]; then
  126. set gfxpayload=keep
  127. fi
  128. insmod gzio
  129. insmod part_gpt
  130. insmod ext2
  131. set root='hd1,gpt4'
  132. if [ x$feature_platform_search_hint = xy ]; then
  133. search --no-floppy --fs-uuid --set=root --hint-bios=hd1,gpt4 --hint-efi=hd1,gpt4 --hint-baremetal=ahci1,gpt4 09f4ecb0-be42-4153-980b-b61548f47597
  134. else
  135. search --no-floppy --fs-uuid --set=root 09f4ecb0-be42-4153-980b-b61548f47597
  136. fi
  137. echo 'Caricamento Linux x86_64-4.4.26-gentoo...'
  138. linux /boot/kernel-genkernel-x86_64-4.4.26-gentoo root=UUID=09f4ecb0-be42-4153-980b-b61548f47597 ro single
  139. echo 'Caricamento ramdisk iniziale...'
  140. initrd /boot/initramfs-genkernel-x86_64-4.4.26-gentoo
  141. }
  142. menuentry 'Gentoo GNU/Linux, con Linux x86_64-4.4.21-gentoo' --class gentoo --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-x86_64-4.4.21-gentoo-advanced-09f4ecb0-be42-4153-980b-b61548f47597' {
  143. load_video
  144. if [ "x$grub_platform" = xefi ]; then
  145. set gfxpayload=keep
  146. fi
  147. insmod gzio
  148. insmod part_gpt
  149. insmod ext2
  150. set root='hd1,gpt4'
  151. if [ x$feature_platform_search_hint = xy ]; then
  152. search --no-floppy --fs-uuid --set=root --hint-bios=hd1,gpt4 --hint-efi=hd1,gpt4 --hint-baremetal=ahci1,gpt4 09f4ecb0-be42-4153-980b-b61548f47597
  153. else
  154. search --no-floppy --fs-uuid --set=root 09f4ecb0-be42-4153-980b-b61548f47597
  155. fi
  156. echo 'Caricamento Linux x86_64-4.4.21-gentoo...'
  157. linux /boot/kernel-genkernel-x86_64-4.4.21-gentoo root=UUID=09f4ecb0-be42-4153-980b-b61548f47597 ro
  158. echo 'Caricamento ramdisk iniziale...'
  159. initrd /boot/initramfs-genkernel-x86_64-4.4.21-gentoo
  160. }
  161. menuentry 'Gentoo GNU/Linux, con Linux x86_64-4.4.21-gentoo (modalit´┐Ż ripristino)' --class gentoo --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-x86_64-4.4.21-gentoo-recovery-09f4ecb0-be42-4153-980b-b61548f47597' {
  162. load_video
  163. if [ "x$grub_platform" = xefi ]; then
  164. set gfxpayload=keep
  165. fi
  166. insmod gzio
  167. insmod part_gpt
  168. insmod ext2
  169. set root='hd1,gpt4'
  170. if [ x$feature_platform_search_hint = xy ]; then
  171. search --no-floppy --fs-uuid --set=root --hint-bios=hd1,gpt4 --hint-efi=hd1,gpt4 --hint-baremetal=ahci1,gpt4 09f4ecb0-be42-4153-980b-b61548f47597
  172. else
  173. search --no-floppy --fs-uuid --set=root 09f4ecb0-be42-4153-980b-b61548f47597
  174. fi
  175. echo 'Caricamento Linux x86_64-4.4.21-gentoo...'
  176. linux /boot/kernel-genkernel-x86_64-4.4.21-gentoo root=UUID=09f4ecb0-be42-4153-980b-b61548f47597 ro single
  177. echo 'Caricamento ramdisk iniziale...'
  178. initrd /boot/initramfs-genkernel-x86_64-4.4.21-gentoo
  179. }
  180. }
  181. ### END /etc/grub.d/10_linux ###
  182. ### BEGIN /etc/grub.d/20_linux_xen ###
  183. ### END /etc/grub.d/20_linux_xen ###
  184. ### BEGIN /etc/grub.d/30_os-prober ###
  185. ### END /etc/grub.d/30_os-prober ###
  186. ### BEGIN /etc/grub.d/40_custom ###
  187. # This file provides an easy way to add custom menu entries. Simply type the
  188. # menu entries you want to add after this comment. Be careful not to change
  189. # the 'exec tail' line above.
  190. ### END /etc/grub.d/40_custom ###
  191. ### BEGIN /etc/grub.d/41_custom ###
  192. if [ -f ${config_directory}/custom.cfg ]; then
  193. source ${config_directory}/custom.cfg
  194. elif [ -z "${config_directory}" -a -f $prefix/custom.cfg ]; then
  195. source $prefix/custom.cfg;
  196. fi
  197. ### END /etc/grub.d/41_custom ###
  198.