Advertisement
Guest User

Untitled

a guest
Sep 21st, 2012
58
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 6.39 KB | None | 0 0
  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. set default="0"
  14.  
  15. if [ x"${feature_menuentry_id}" = xy ]; then
  16. menuentry_id_option="--id"
  17. else
  18. menuentry_id_option=""
  19. fi
  20.  
  21. export menuentry_id_option
  22.  
  23. if [ "${prev_saved_entry}" ]; then
  24. set saved_entry="${prev_saved_entry}"
  25. save_env saved_entry
  26. set prev_saved_entry=
  27. save_env prev_saved_entry
  28. set boot_once=true
  29. fi
  30.  
  31. function savedefault {
  32. if [ -z "${boot_once}" ]; then
  33. saved_entry="${chosen}"
  34. save_env saved_entry
  35. fi
  36. }
  37.  
  38. function recordfail {
  39. set recordfail=1
  40. if [ -n "${have_grubenv}" ]; then if [ -z "${boot_once}" ]; then save_env recordfail; fi; fi
  41. }
  42.  
  43. function load_video {
  44. if [ x$feature_all_video_module = xy ]; then
  45. insmod all_video
  46. else
  47. insmod efi_gop
  48. insmod efi_uga
  49. insmod ieee1275_fb
  50. insmod vbe
  51. insmod vga
  52. insmod video_bochs
  53. insmod video_cirrus
  54. fi
  55. }
  56.  
  57. if [ x$feature_default_font_path = xy ] ; then
  58. font=unicode
  59. else
  60. insmod part_msdos
  61. insmod ext2
  62. set root='hd1,msdos1'
  63. if [ x$feature_platform_search_hint = xy ]; then
  64. search --no-floppy --fs-uuid --set=root --hint-bios=hd1,msdos1 --hint-efi=hd1,msdos1 --hint-baremetal=ahci1,msdos1 b263ecd8-8707-41b9-8f0e-0d5f3c5434b4
  65. else
  66. search --no-floppy --fs-uuid --set=root b263ecd8-8707-41b9-8f0e-0d5f3c5434b4
  67. fi
  68. font="/usr/share/grub/unicode.pf2"
  69. fi
  70.  
  71. if loadfont $font ; then
  72. set gfxmode=auto
  73. load_video
  74. insmod gfxterm
  75. set locale_dir=$prefix/locale
  76. set lang=it_IT
  77. insmod gettext
  78. fi
  79. terminal_output gfxterm
  80. if [ "${recordfail}" = 1 ]; then
  81. set timeout=-1
  82. else
  83. set timeout=5
  84. fi
  85. ### END /etc/grub.d/00_header ###
  86.  
  87. ### BEGIN /etc/grub.d/05_debian_theme ###
  88. set menu_color_normal=white/black
  89. set menu_color_highlight=black/light-gray
  90. if background_color 75,75,75; then
  91. clear
  92. fi
  93. ### END /etc/grub.d/05_debian_theme ###
  94.  
  95. ### BEGIN /etc/grub.d/10_linux ###
  96. function gfxmode {
  97. set gfxpayload="${1}"
  98. if [ "${1}" = "keep" ]; then
  99. set vt_handoff=vt.handoff=7
  100. else
  101. set vt_handoff=
  102. fi
  103. }
  104. if [ "${recordfail}" != 1 ]; then
  105. if [ -e ${prefix}/gfxblacklist.txt ]; then
  106. if hwmatch ${prefix}/gfxblacklist.txt 3; then
  107. if [ ${match} = 0 ]; then
  108. set linux_gfx_mode=keep
  109. else
  110. set linux_gfx_mode=text
  111. fi
  112. else
  113. set linux_gfx_mode=text
  114. fi
  115. else
  116. set linux_gfx_mode=keep
  117. fi
  118. else
  119. set linux_gfx_mode=text
  120. fi
  121. export linux_gfx_mode
  122. if [ "${linux_gfx_mode}" != "text" ]; then load_video; fi
  123. menuentry 'Ubuntu' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-simple-b263ecd8-8707-41b9-8f0e-0d5f3c5434b4' {
  124. recordfail
  125. gfxmode $linux_gfx_mode
  126. insmod gzio
  127. insmod part_msdos
  128. insmod ext2
  129. set root='hd1,msdos1'
  130. if [ x$feature_platform_search_hint = xy ]; then
  131. search --no-floppy --fs-uuid --set=root --hint-bios=hd1,msdos1 --hint-efi=hd1,msdos1 --hint-baremetal=ahci1,msdos1 b263ecd8-8707-41b9-8f0e-0d5f3c5434b4
  132. else
  133. search --no-floppy --fs-uuid --set=root b263ecd8-8707-41b9-8f0e-0d5f3c5434b4
  134. fi
  135. linux /boot/vmlinuz-3.5.0-15-generic root=UUID=b263ecd8-8707-41b9-8f0e-0d5f3c5434b4 ro quiet splash $vt_handoff
  136. initrd /boot/initrd.img-3.5.0-15-generic
  137. }
  138. submenu 'Opzioni avanzate per Ubuntu' $menuentry_id_option 'gnulinux-advanced-b263ecd8-8707-41b9-8f0e-0d5f3c5434b4' {
  139. menuentry 'Ubuntu, con Linux 3.5.0-15-generic' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.5.0-15-generic-advanced-b263ecd8-8707-41b9-8f0e-0d5f3c5434b4' {
  140. recordfail
  141. gfxmode $linux_gfx_mode
  142. insmod gzio
  143. insmod part_msdos
  144. insmod ext2
  145. set root='hd1,msdos1'
  146. if [ x$feature_platform_search_hint = xy ]; then
  147. search --no-floppy --fs-uuid --set=root --hint-bios=hd1,msdos1 --hint-efi=hd1,msdos1 --hint-baremetal=ahci1,msdos1 b263ecd8-8707-41b9-8f0e-0d5f3c5434b4
  148. else
  149. search --no-floppy --fs-uuid --set=root b263ecd8-8707-41b9-8f0e-0d5f3c5434b4
  150. fi
  151. echo 'Caricamento Linux 3.5.0-15-generic...'
  152. linux /boot/vmlinuz-3.5.0-15-generic root=UUID=b263ecd8-8707-41b9-8f0e-0d5f3c5434b4 ro quiet splash $vt_handoff
  153. echo 'Caricamento ramdisk iniziale...'
  154. initrd /boot/initrd.img-3.5.0-15-generic
  155. }
  156. menuentry 'Ubuntu, con Linux 3.5.0-15-generic (modalità ripristino)' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.5.0-15-generic-recovery-b263ecd8-8707-41b9-8f0e-0d5f3c5434b4' {
  157. recordfail
  158. insmod gzio
  159. insmod part_msdos
  160. insmod ext2
  161. set root='hd1,msdos1'
  162. if [ x$feature_platform_search_hint = xy ]; then
  163. search --no-floppy --fs-uuid --set=root --hint-bios=hd1,msdos1 --hint-efi=hd1,msdos1 --hint-baremetal=ahci1,msdos1 b263ecd8-8707-41b9-8f0e-0d5f3c5434b4
  164. else
  165. search --no-floppy --fs-uuid --set=root b263ecd8-8707-41b9-8f0e-0d5f3c5434b4
  166. fi
  167. echo 'Caricamento Linux 3.5.0-15-generic...'
  168. linux /boot/vmlinuz-3.5.0-15-generic root=UUID=b263ecd8-8707-41b9-8f0e-0d5f3c5434b4 ro recovery nomodeset
  169. echo 'Caricamento ramdisk iniziale...'
  170. initrd /boot/initrd.img-3.5.0-15-generic
  171. }
  172. }
  173.  
  174. ### END /etc/grub.d/10_linux ###
  175.  
  176. ### BEGIN /etc/grub.d/20_linux_xen ###
  177.  
  178. ### END /etc/grub.d/20_linux_xen ###
  179.  
  180. ### BEGIN /etc/grub.d/30_os-prober ###
  181. menuentry 'Windows 7 (loader) (su /dev/sda1)' --class windows --class os $menuentry_id_option 'osprober-chain-2C8E30D38E309774' {
  182. insmod part_msdos
  183. insmod ntfs
  184. set root='hd0,msdos1'
  185. if [ x$feature_platform_search_hint = xy ]; then
  186. search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos1 --hint-efi=hd0,msdos1 --hint-baremetal=ahci0,msdos1 2C8E30D38E309774
  187. else
  188. search --no-floppy --fs-uuid --set=root 2C8E30D38E309774
  189. fi
  190. chainloader +1
  191. }
  192. ### END /etc/grub.d/30_os-prober ###
  193.  
  194. ### BEGIN /etc/grub.d/40_custom ###
  195. # This file provides an easy way to add custom menu entries. Simply type the
  196. # menu entries you want to add after this comment. Be careful not to change
  197. # the 'exec tail' line above.
  198. ### END /etc/grub.d/40_custom ###
  199.  
  200. ### BEGIN /etc/grub.d/41_custom ###
  201. if [ -f ${config_directory}/custom.cfg ]; then
  202. source ${config_directory}/custom.cfg
  203. elif [ -z "${config_directory}" -a -f $prefix/custom.cfg ]; then
  204. source $prefix/custom.cfg;
  205. fi
  206. ### END /etc/grub.d/41_custom ###
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement