SHARE
TWEET

Untitled

a guest Sep 21st, 2012 30 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. 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 ###
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