daily pastebin goal
55%
SHARE
TWEET

/home/timcowchip/grub.cfg

timcowchip May 8th, 2014 199 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.   load_env
  11. fi
  12. set default="0"
  13.  
  14. if [ x"${feature_menuentry_id}" = xy ]; then
  15.   menuentry_id_option="--id"
  16. else
  17.   menuentry_id_option=""
  18. fi
  19.  
  20. export menuentry_id_option
  21.  
  22. if [ "${prev_saved_entry}" ]; then
  23.   set saved_entry="${prev_saved_entry}"
  24.   save_env saved_entry
  25.   set prev_saved_entry=
  26.   save_env prev_saved_entry
  27.   set boot_once=true
  28. fi
  29.  
  30. function savedefault {
  31.   if [ -z "${boot_once}" ]; then
  32.     saved_entry="${chosen}"
  33.     save_env saved_entry
  34.   fi
  35. }
  36.  
  37. function load_video {
  38.   if [ x$feature_all_video_module = xy ]; then
  39.     insmod all_video
  40.   else
  41.     insmod efi_gop
  42.     insmod efi_uga
  43.     insmod ieee1275_fb
  44.     insmod vbe
  45.     insmod vga
  46.     insmod video_bochs
  47.     insmod video_cirrus
  48.   fi
  49. }
  50.  
  51. if [ x$feature_default_font_path = xy ] ; then
  52.    font=unicode
  53. else
  54. insmod part_msdos
  55. insmod ext2
  56. set root='hd0,msdos3'
  57. if [ x$feature_platform_search_hint = xy ]; then
  58.   search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos3 --hint-efi=hd0,msdos3 --hint-baremetal=ahci0,msdos3  029330a6-afc2-4e8b-b1c6-b7bb79347a21
  59. else
  60.   search --no-floppy --fs-uuid --set=root 029330a6-afc2-4e8b-b1c6-b7bb79347a21
  61. fi
  62.     font="/usr/share/grub/unifont.pf2"
  63. fi
  64.  
  65. if loadfont $font ; then
  66.   set gfxmode=auto
  67.   load_video
  68.   insmod gfxterm
  69.   set locale_dir=$prefix/locale
  70.   set lang=en_US
  71.   insmod gettext
  72. fi
  73. terminal_output gfxterm
  74. set timeout=5
  75. ### END /etc/grub.d/00_header ###
  76.  
  77. ### BEGIN /etc/grub.d/10_linux ###
  78.  
  79. ### END /etc/grub.d/10_linux ###
  80.  
  81. ### BEGIN /etc/grub.d/20_linux_xen ###
  82. ### END /etc/grub.d/20_linux_xen ###
  83.  
  84. ### BEGIN /etc/grub.d/30_os-prober ###
  85. ### END /etc/grub.d/30_os-prober ###
  86.  
  87. ### BEGIN /etc/grub.d/40_custom ###
  88. # This file provides an easy way to add custom menu entries.  Simply type the
  89. # menu entries you want to add after this comment.  Be careful not to change
  90. # the 'exec tail' line above.
  91. ### END /etc/grub.d/40_custom ###
  92.  
  93. ### BEGIN /etc/grub.d/41_custom ###
  94. if [ -f  ${config_directory}/custom.cfg ]; then
  95.   source ${config_directory}/custom.cfg
  96. elif [ -z "${config_directory}" -a -f  $prefix/custom.cfg ]; then
  97.   source $prefix/custom.cfg;
  98. fi
  99. ### 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