- #
- # DO NOT EDIT THIS FILE
- #
- # It is automatically generated by grub-mkconfig using templates
- # from /etc/grub.d and settings from /etc/default/grub
- #
- ### BEGIN /etc/grub.d/00_header ###
- insmod part_gpt
- insmod part_msdos
- if [ -s $prefix/grubenv ]; then
- load_env
- fi
- if [ "${next_entry}" ] ; then
- set default="${next_entry}"
- set next_entry=
- save_env next_entry
- set boot_once=true
- else
- set default="0"
- fi
- if [ x"${feature_menuentry_id}" = xy ]; then
- menuentry_id_option="--id"
- else
- menuentry_id_option=""
- fi
- export menuentry_id_option
- if [ "${prev_saved_entry}" ]; then
- set saved_entry="${prev_saved_entry}"
- save_env saved_entry
- set prev_saved_entry=
- save_env prev_saved_entry
- set boot_once=true
- fi
- function savedefault {
- if [ -z "${boot_once}" ]; then
- saved_entry="${chosen}"
- save_env saved_entry
- fi
- }
- function load_video {
- if [ x$feature_all_video_module = xy ]; then
- insmod all_video
- else
- insmod efi_gop
- insmod efi_uga
- insmod ieee1275_fb
- insmod vbe
- insmod vga
- insmod video_bochs
- insmod video_cirrus
- fi
- }
- if [ x$feature_default_font_path = xy ] ; then
- font=unicode
- else
- insmod part_gpt
- insmod ext2
- if [ x$feature_platform_search_hint = xy ]; then
- search --no-floppy --fs-uuid --set=root aa7658fb-c770-411d-9413-f5afc8e1f05b
- else
- search --no-floppy --fs-uuid --set=root aa7658fb-c770-411d-9413-f5afc8e1f05b
- fi
- font="/usr/share/grub/unicode.pf2"
- fi
- if loadfont $font ; then
- set gfxmode=auto
- load_video
- insmod gfxterm
- set locale_dir=$prefix/locale
- set lang=nl_NL
- insmod gettext
- fi
- terminal_input console
- terminal_output gfxterm
- insmod part_gpt
- insmod ext2
- set root='hd0,gpt4'
- if [ x$feature_platform_search_hint = xy ]; then
- search --no-floppy --fs-uuid --set=root --hint-ieee1275='ieee1275//disk@0,gpt4' --hint-bios=hd0,gpt4 --hint-efi=hd0,gpt4 --hint-baremetal=ahci0,gpt4 2bcbbabc-7d0c-47d2-92b9-40bc3a8274fe
- else
- search --no-floppy --fs-uuid --set=root 2bcbbabc-7d0c-47d2-92b9-40bc3a8274fe
- fi
- insmod gfxmenu
- loadfont ($root)/grub/themes/Antergos-Default/ascii.pf2
- loadfont ($root)/grub/themes/Antergos-Default/rlwy14.pf2
- loadfont ($root)/grub/themes/Antergos-Default/rlwy16.pf2
- insmod png
- set theme=($root)/grub/themes/Antergos-Default/theme.txt
- export theme
- if [ x$feature_timeout_style = xy ] ; then
- set timeout_style=menu
- set timeout=5
- # Fallback normal timeout code in case the timeout_style feature is
- # unavailable.
- else
- set timeout=5
- fi
- ### END /etc/grub.d/00_header ###
- ### BEGIN /etc/grub.d/10_antergos ###
- menuentry 'Antergos Linux' --class antergos --class arch --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-simple-aa7658fb-c770-411d-9413-f5afc8e1f05b' {
- load_video
- set gfxpayload=keep
- insmod gzio
- insmod part_gpt
- insmod ext2
- set root='hd0,gpt4'
- if [ x$feature_platform_search_hint = xy ]; then
- search --no-floppy --fs-uuid --set=root --hint-ieee1275='ieee1275//disk@0,gpt4' --hint-bios=hd0,gpt4 --hint-efi=hd0,gpt4 --hint-baremetal=ahci0,gpt4 2bcbbabc-7d0c-47d2-92b9-40bc3a8274fe
- else
- search --no-floppy --fs-uuid --set=root 2bcbbabc-7d0c-47d2-92b9-40bc3a8274fe
- fi
- echo 'Loading linux kernel ...'
- linux /vmlinuz-linux root=UUID=aa7658fb-c770-411d-9413-f5afc8e1f05b rw quiet resume=UUID=f7628f21-c206-43ff-bb5f-db4f2c25ca50
- echo 'Loading initial ramdisk ...'
- initrd /intel-ucode.img /initramfs-linux.img
- }
- submenu 'Advanced options for Antergos Linux' $menuentry_id_option 'gnulinux-advanced-aa7658fb-c770-411d-9413-f5afc8e1f05b' {
- menuentry 'Antergos Linux' --class antergos --class arch --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-simple-aa7658fb-c770-411d-9413-f5afc8e1f05b' {
- load_video
- set gfxpayload=keep
- insmod gzio
- insmod part_gpt
- insmod ext2
- set root='hd0,gpt4'
- if [ x$feature_platform_search_hint = xy ]; then
- search --no-floppy --fs-uuid --set=root --hint-ieee1275='ieee1275//disk@0,gpt4' --hint-bios=hd0,gpt4 --hint-efi=hd0,gpt4 --hint-baremetal=ahci0,gpt4 2bcbbabc-7d0c-47d2-92b9-40bc3a8274fe
- else
- search --no-floppy --fs-uuid --set=root 2bcbbabc-7d0c-47d2-92b9-40bc3a8274fe
- fi
- echo 'Loading linux kernel ...'
- linux /vmlinuz-linux root=UUID=aa7658fb-c770-411d-9413-f5afc8e1f05b rw quiet resume=UUID=f7628f21-c206-43ff-bb5f-db4f2c25ca50
- echo 'Loading initial ramdisk ...'
- initrd /intel-ucode.img /initramfs-linux.img
- }
- menuentry 'Antergos Linux - Fallback' --class antergos --class arch --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-simple-aa7658fb-c770-411d-9413-f5afc8e1f05b' {
- load_video
- set gfxpayload=keep
- insmod gzio
- insmod part_gpt
- insmod ext2
- set root='hd0,gpt4'
- if [ x$feature_platform_search_hint = xy ]; then
- search --no-floppy --fs-uuid --set=root --hint-ieee1275='ieee1275//disk@0,gpt4' --hint-bios=hd0,gpt4 --hint-efi=hd0,gpt4 --hint-baremetal=ahci0,gpt4 2bcbbabc-7d0c-47d2-92b9-40bc3a8274fe
- else
- search --no-floppy --fs-uuid --set=root 2bcbbabc-7d0c-47d2-92b9-40bc3a8274fe
- fi
- echo 'Loading linux kernel ...'
- linux /vmlinuz-linux root=UUID=aa7658fb-c770-411d-9413-f5afc8e1f05b rw quiet resume=UUID=f7628f21-c206-43ff-bb5f-db4f2c25ca50
- echo 'Loading initial ramdisk ...'
- initrd /intel-ucode.img /initramfs-linux-fallback.img
- }
- }
- ### END /etc/grub.d/10_antergos ###
- ### BEGIN /etc/grub.d/20_linux_xen ###
- ### END /etc/grub.d/20_linux_xen ###
- ### BEGIN /etc/grub.d/30_os-prober ###
- menuentry 'Windows Recovery Environment (on /dev/sda2)' --class windows --class os $menuentry_id_option 'osprober-chain-488E7D238E7D0B28' {
- insmod part_gpt
- insmod ntfs
- set root='hd0,gpt2'
- if [ x$feature_platform_search_hint = xy ]; then
- search --no-floppy --fs-uuid --set=root --hint-ieee1275='ieee1275//disk@0,gpt2' --hint-bios=hd0,gpt2 --hint-efi=hd0,gpt2 --hint-baremetal=ahci0,gpt2 488E7D238E7D0B28
- else
- search --no-floppy --fs-uuid --set=root 488E7D238E7D0B28
- fi
- drivemap -s (hd0) ${root}
- chainloader +1
- }
- ### END /etc/grub.d/30_os-prober ###
- ### BEGIN /etc/grub.d/40_custom ###
- # This file provides an easy way to add custom menu entries. Simply type the
- # menu entries you want to add after this comment. Be careful not to change
- # the 'exec tail' line above.
- ### END /etc/grub.d/40_custom ###
- ### BEGIN /etc/grub.d/41_custom ###
- if [ -f ${config_directory}/custom.cfg ]; then
- source ${config_directory}/custom.cfg
- elif [ -z "${config_directory}" -a -f $prefix/custom.cfg ]; then
- source $prefix/custom.cfg;
- fi
- ### END /etc/grub.d/41_custom ###
/boot/grub/grub.cfg