diff options
Diffstat (limited to 'remote/modules/grub/data/etc/grub/grub.cfg')
| -rw-r--r-- | remote/modules/grub/data/etc/grub/grub.cfg | 192 |
1 files changed, 192 insertions, 0 deletions
diff --git a/remote/modules/grub/data/etc/grub/grub.cfg b/remote/modules/grub/data/etc/grub/grub.cfg new file mode 100644 index 00000000..7654d3b2 --- /dev/null +++ b/remote/modules/grub/data/etc/grub/grub.cfg @@ -0,0 +1,192 @@ +# +# 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 ### +if [ -s $prefix/grubenv ]; then + set have_grubenv=true + 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 recordfail { + set recordfail=1 + if [ -n "${have_grubenv}" ]; then if [ -z "${boot_once}" ]; then save_env recordfail; fi; 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_msdos +insmod lvm +insmod ext2 +set root='lvmid/ZvOK2H-W5xA-QoO2-zy2n-Sjr7-cpu8-M3zL6F/FzLrNP-IhMk-pB8d-vEEW-Jxxk-ujc7-NWSegg' +if [ x$feature_platform_search_hint = xy ]; then + search --no-floppy --fs-uuid --set=root --hint='lvmid/ZvOK2H-W5xA-QoO2-zy2n-Sjr7-cpu8-M3zL6F/FzLrNP-IhMk-pB8d-vEEW-Jxxk-ujc7-NWSegg' 0bec626d-2d44-417d-acfd-83acbbcf2b34 +else + search --no-floppy --fs-uuid --set=root 0bec626d-2d44-417d-acfd-83acbbcf2b34 +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=pt_PT + insmod gettext +fi +terminal_output gfxterm +if [ "${recordfail}" = 1 ] ; then + set timeout=-1 +else + if [ x$feature_timeout_style = xy ] ; then + set timeout_style=menu + set timeout=10 + # Fallback normal timeout code in case the timeout_style feature is + # unavailable. + else + set timeout=10 + fi +fi +### END /etc/grub.d/00_header ### + +### BEGIN /etc/grub.d/05_debian_theme ### +set menu_color_normal=white/black +set menu_color_highlight=black/light-gray +### END /etc/grub.d/05_debian_theme ### + +### BEGIN /etc/grub.d/06_mint_theme ### +set menu_color_normal=white/black +set menu_color_highlight=white/light-gray +### END /etc/grub.d/06_mint_theme ### + +### BEGIN /etc/grub.d/10_linux ### +function gfxmode { + set gfxpayload="$1" + if [ "$1" = "keep" ]; then + set vt_handoff=vt.handoff=7 + else + set vt_handoff= + fi +} +if [ ${recordfail} != 1 ]; then + if [ -e ${prefix}/gfxblacklist.txt ]; then + if hwmatch ${prefix}/gfxblacklist.txt 3; then + if [ ${match} = 0 ]; then + set linux_gfx_mode=keep + else + set linux_gfx_mode=text + fi + else + set linux_gfx_mode=text + fi + else + set linux_gfx_mode=keep + fi +else + set linux_gfx_mode=text +fi +export linux_gfx_mode +if [ "$linux_gfx_mode" != "text" ]; then load_video; fi +menuentry 'Linux Mint 17 Xfce 64-bit, 3.13.0-24-generic (/dev/mapper/sa_sabayon-root)' --class ubuntu --class gnu-linux --class gnu --class os { + recordfail + gfxmode $linux_gfx_mode + insmod gzio + insmod part_msdos + insmod lvm + insmod ext2 + set root='lvmid/ZvOK2H-W5xA-QoO2-zy2n-Sjr7-cpu8-M3zL6F/FzLrNP-IhMk-pB8d-vEEW-Jxxk-ujc7-NWSegg' + if [ x$feature_platform_search_hint = xy ]; then + search --no-floppy --fs-uuid --set=root --hint='lvmid/ZvOK2H-W5xA-QoO2-zy2n-Sjr7-cpu8-M3zL6F/FzLrNP-IhMk-pB8d-vEEW-Jxxk-ujc7-NWSegg' 0bec626d-2d44-417d-acfd-83acbbcf2b34 + else + search --no-floppy --fs-uuid --set=root 0bec626d-2d44-417d-acfd-83acbbcf2b34 + fi + linux /boot/vmlinuz-3.13.0-24-generic root=/dev/mapper/sa_sabayon-root ro quiet splash $vt_handoff + initrd /boot/initrd.img-3.13.0-24-generic +} +### END /etc/grub.d/10_linux ### + +### BEGIN /etc/grub.d/10_lupin ### +### END /etc/grub.d/10_lupin ### + +### BEGIN /etc/grub.d/20_linux_xen ### + +### END /etc/grub.d/20_linux_xen ### + +### BEGIN /etc/grub.d/20_memtest86+ ### +menuentry 'Ubuntu_1404_x64_tiago' { + linux (hd0,msdos2)/kernel/kernel slxsrv=200.17.202.46 slxbase=ubuntu_1404_x64_tiago quiet splash vga=current + initrd (hd0,msdos2)/initramfs-stage31 +} +### END /etc/grub.d/20_memtest86+ ### + +### BEGIN /etc/grub.d/30_os-prober ### +set timeout_style=menu +if [ "${timeout}" = 0 ]; then + set timeout=10 +fi +### END /etc/grub.d/30_os-prober ### + +### BEGIN /etc/grub.d/30_uefi-firmware ### +### END /etc/grub.d/30_uefi-firmware ### + +### 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 ### |