spacepaste

Paste details

reply | raw

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