Advertisement
tpaper

Damn

Oct 10th, 2013
84
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 4.49 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. load_env
  11. fi
  12. set default="0"
  13. if [ "${prev_saved_entry}" ]; then
  14. set saved_entry="${prev_saved_entry}"
  15. save_env saved_entry
  16. set prev_saved_entry=
  17. save_env prev_saved_entry
  18. set boot_once=true
  19. fi
  20.  
  21. function savedefault {
  22. if [ -z "${boot_once}" ]; then
  23. saved_entry="${chosen}"
  24. save_env saved_entry
  25. fi
  26. }
  27.  
  28. function load_video {
  29. insmod vbe
  30. insmod vga
  31. insmod video_bochs
  32. insmod video_cirrus
  33. }
  34.  
  35. insmod part_msdos
  36. insmod ext2
  37. set root='(hd0,msdos1)'
  38. search --no-floppy --fs-uuid --set=root a3c79395-2168-42c8-b3f5-b6273de6cdcf
  39. if loadfont /usr/share/grub/unicode.pf2 ; then
  40. set gfxmode=640x480
  41. load_video
  42. insmod gfxterm
  43. insmod part_msdos
  44. insmod ext2
  45. set root='(hd0,msdos1)'
  46. search --no-floppy --fs-uuid --set=root a3c79395-2168-42c8-b3f5-b6273de6cdcf
  47. set locale_dir=($root)/boot/grub/locale
  48. set lang=it_IT
  49. insmod gettext
  50. fi
  51. terminal_output gfxterm
  52. set timeout=5
  53. ### END /etc/grub.d/00_header ###
  54.  
  55. ### BEGIN /etc/grub.d/05_debian_theme ###
  56. insmod part_msdos
  57. insmod ext2
  58. set root='(hd0,msdos1)'
  59. search --no-floppy --fs-uuid --set=root a3c79395-2168-42c8-b3f5-b6273de6cdcf
  60. insmod png
  61. if background_image /usr/share/images/desktop-base/joy-grub.png; then
  62. set color_normal=white/black
  63. set color_highlight=black/white
  64. else
  65. set menu_color_normal=cyan/blue
  66. set menu_color_highlight=white/blue
  67. fi
  68. ### END /etc/grub.d/05_debian_theme ###
  69.  
  70. ### BEGIN /etc/grub.d/10_linux ###
  71. menuentry 'Debian GNU/Linux, con Linux 3.10-3-amd64' --class debian --class gnu-linux --class gnu --class os {
  72. load_video
  73. insmod gzio
  74. insmod part_msdos
  75. insmod ext2
  76. set root='(hd0,msdos1)'
  77. search --no-floppy --fs-uuid --set=root a3c79395-2168-42c8-b3f5-b6273de6cdcf
  78. echo 'Caricamento Linux 3.10-3-amd64...'
  79. linux /boot/vmlinuz-3.10-3-amd64 root=UUID=a3c79395-2168-42c8-b3f5-b6273de6cdcf ro quiet
  80. echo 'Caricamento ramdisk iniziale...'
  81. initrd /boot/initrd.img-3.10-3-amd64
  82. }
  83. menuentry 'Debian GNU/Linux, con Linux 3.10-3-amd64 (modalità ripristino)' --class debian --class gnu-linux --class gnu --class os {
  84. load_video
  85. insmod gzio
  86. insmod part_msdos
  87. insmod ext2
  88. set root='(hd0,msdos1)'
  89. search --no-floppy --fs-uuid --set=root a3c79395-2168-42c8-b3f5-b6273de6cdcf
  90. echo 'Caricamento Linux 3.10-3-amd64...'
  91. linux /boot/vmlinuz-3.10-3-amd64 root=UUID=a3c79395-2168-42c8-b3f5-b6273de6cdcf ro single
  92. echo 'Caricamento ramdisk iniziale...'
  93. initrd /boot/initrd.img-3.10-3-amd64
  94. }
  95. menuentry 'Debian GNU/Linux, con Linux 3.10-2-amd64' --class debian --class gnu-linux --class gnu --class os {
  96. load_video
  97. insmod gzio
  98. insmod part_msdos
  99. insmod ext2
  100. set root='(hd0,msdos1)'
  101. search --no-floppy --fs-uuid --set=root a3c79395-2168-42c8-b3f5-b6273de6cdcf
  102. echo 'Caricamento Linux 3.10-2-amd64...'
  103. linux /boot/vmlinuz-3.10-2-amd64 root=UUID=a3c79395-2168-42c8-b3f5-b6273de6cdcf ro quiet
  104. echo 'Caricamento ramdisk iniziale...'
  105. initrd /boot/initrd.img-3.10-2-amd64
  106. }
  107. menuentry 'Debian GNU/Linux, con Linux 3.10-2-amd64 (modalità ripristino)' --class debian --class gnu-linux --class gnu --class os {
  108. load_video
  109. insmod gzio
  110. insmod part_msdos
  111. insmod ext2
  112. set root='(hd0,msdos1)'
  113. search --no-floppy --fs-uuid --set=root a3c79395-2168-42c8-b3f5-b6273de6cdcf
  114. echo 'Caricamento Linux 3.10-2-amd64...'
  115. linux /boot/vmlinuz-3.10-2-amd64 root=UUID=a3c79395-2168-42c8-b3f5-b6273de6cdcf ro single
  116. echo 'Caricamento ramdisk iniziale...'
  117. initrd /boot/initrd.img-3.10-2-amd64
  118. }
  119. ### END /etc/grub.d/10_linux ###
  120.  
  121. ### BEGIN /etc/grub.d/20_linux_xen ###
  122. ### END /etc/grub.d/20_linux_xen ###
  123.  
  124. ### BEGIN /etc/grub.d/30_os-prober ###
  125. menuentry "Windows 8 (loader) (on /dev/sdd2)" --class windows --class os {
  126. insmod part_msdos
  127. insmod ntfs
  128. set root='(hd3,msdos2)'
  129. search --no-floppy --fs-uuid --set=root 7F2AAB9C5D1526BA
  130. drivemap -s (hd0) ${root}
  131. chainloader +1
  132. }
  133. ### END /etc/grub.d/30_os-prober ###
  134.  
  135. ### BEGIN /etc/grub.d/40_custom ###
  136. # This file provides an easy way to add custom menu entries. Simply type the
  137. # menu entries you want to add after this comment. Be careful not to change
  138. # the 'exec tail' line above.
  139. ### END /etc/grub.d/40_custom ###
  140.  
  141. ### BEGIN /etc/grub.d/41_custom ###
  142. if [ -f $prefix/custom.cfg ]; then
  143. source $prefix/custom.cfg;
  144. fi
  145. ### END /etc/grub.d/41_custom ###
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement