Advertisement
Guest User

Untitled

a guest
Mar 28th, 2017
78
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 4.47 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. insmod part_gpt
  10. insmod part_msdos
  11. if [ -s $prefix/grubenv ]; then
  12. load_env
  13. fi
  14. if [ "${next_entry}" ] ; then
  15. set default="${next_entry}"
  16. set next_entry=
  17. save_env next_entry
  18. set boot_once=true
  19. else
  20. set default="0"
  21. fi
  22.  
  23. if [ x"${feature_menuentry_id}" = xy ]; then
  24. menuentry_id_option="--id"
  25. else
  26. menuentry_id_option=""
  27. fi
  28.  
  29. export menuentry_id_option
  30.  
  31. if [ "${prev_saved_entry}" ]; then
  32. set saved_entry="${prev_saved_entry}"
  33. save_env saved_entry
  34. set prev_saved_entry=
  35. save_env prev_saved_entry
  36. set boot_once=true
  37. fi
  38.  
  39. function savedefault {
  40. if [ -z "${boot_once}" ]; then
  41. saved_entry="${chosen}"
  42. save_env saved_entry
  43. fi
  44. }
  45.  
  46. function load_video {
  47. if [ x$feature_all_video_module = xy ]; then
  48. insmod all_video
  49. else
  50. insmod efi_gop
  51. insmod efi_uga
  52. insmod ieee1275_fb
  53. insmod vbe
  54. insmod vga
  55. insmod video_bochs
  56. insmod video_cirrus
  57. fi
  58. }
  59.  
  60. if [ x$feature_default_font_path = xy ] ; then
  61. font=unicode
  62. else
  63. insmod part_gpt
  64. insmod ext2
  65. set root='hd0,gpt4'
  66. if [ x$feature_platform_search_hint = xy ]; then
  67. search --no-floppy --fs-uuid --set=root --hint-bios=hd0,gpt4 --hint-efi=hd0,gpt4 --hint-baremetal=ahci0,gpt4 84698392-1655-40b2-8b65-15ece92d5b98
  68. else
  69. search --no-floppy --fs-uuid --set=root 84698392-1655-40b2-8b65-15ece92d5b98
  70. fi
  71. font="/usr/share/grub/unicode.pf2"
  72. fi
  73.  
  74. if loadfont $font ; then
  75. set gfxmode=auto
  76. load_video
  77. insmod gfxterm
  78. set locale_dir=$prefix/locale
  79. set lang=en_US
  80. insmod gettext
  81. fi
  82. terminal_input console
  83. terminal_output gfxterm
  84. if [ x$feature_timeout_style = xy ] ; then
  85. set timeout_style=menu
  86. set timeout=5
  87. # Fallback normal timeout code in case the timeout_style feature is
  88. # unavailable.
  89. else
  90. set timeout=5
  91. fi
  92. ### END /etc/grub.d/00_header ###
  93.  
  94. ### BEGIN /etc/grub.d/01_enable_vga.conf ###
  95. setpci -s "00:17.0" 3e.b=8
  96. setpci -s "04:00.0" 04.b=7
  97. ### END /etc/grub.d/01_enable_vga.conf ###
  98.  
  99. ### BEGIN /etc/grub.d/10_linux ###
  100. menuentry 'Arch Linux' --class arch --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-simple-84698392-1655-40b2-8b65-15ece92d5b98' {
  101. load_video
  102. set gfxpayload=keep
  103. insmod gzio
  104. insmod part_gpt
  105. insmod fat
  106. set root='hd0,gpt1'
  107. if [ x$feature_platform_search_hint = xy ]; then
  108. search --no-floppy --fs-uuid --set=root --hint-bios=hd0,gpt1 --hint-efi=hd0,gpt1 --hint-baremetal=ahci0,gpt1 D002-FCDD
  109. else
  110. search --no-floppy --fs-uuid --set=root D002-FCDD
  111. fi
  112. echo 'Loading Linux linux ...'
  113. linux /vmlinuz-linux root=/dev/sda4 rw quiet
  114. }
  115. submenu 'Advanced options for Arch Linux' $menuentry_id_option 'gnulinux-advanced-84698392-1655-40b2-8b65-15ece92d5b98' {
  116. menuentry 'Arch Linux, with Linux linux' --class arch --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-linux-advanced-84698392-1655-40b2-8b65-15ec$
  117. load_video
  118. set gfxpayload=keep
  119. insmod gzio
  120. insmod part_gpt
  121. insmod fat
  122. set root='hd0,gpt1'
  123. if [ x$feature_platform_search_hint = xy ]; then
  124. search --no-floppy --fs-uuid --set=root --hint-bios=hd0,gpt1 --hint-efi=hd0,gpt1 --hint-baremetal=ahci0,gpt1 D002-FCDD
  125. else
  126. search --no-floppy --fs-uuid --set=root D002-FCDD
  127. fi
  128. echo 'Loading Linux linux ...'
  129. linux /vmlinuz-linux root=/dev/sda4 rw quiet
  130. }
  131. }
  132.  
  133. ### END /etc/grub.d/10_linux ###
  134.  
  135. ### BEGIN /etc/grub.d/20_linux_xen ###
  136. ### END /etc/grub.d/20_linux_xen ###
  137.  
  138. ### BEGIN /etc/grub.d/30_os-prober ###
  139. ### END /etc/grub.d/30_os-prober ###
  140.  
  141. ### BEGIN /etc/grub.d/40_custom ###
  142. # This file provides an easy way to add custom menu entries. Simply type the
  143. # menu entries you want to add after this comment. Be careful not to change
  144. # the 'exec tail' line above.
  145. ### END /etc/grub.d/40_custom ###
  146.  
  147. ### BEGIN /etc/grub.d/41_custom ###
  148. if [ -f ${config_directory}/custom.cfg ]; then
  149. source ${config_directory}/custom.cfg
  150. elif [ -z "${config_directory}" -a -f $prefix/custom.cfg ]; then
  151. source $prefix/custom.cfg;
  152. fi
  153. ### END /etc/grub.d/41_custom ###
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement