Last active
August 22, 2019 14:18
-
-
Save pinkumohikan/304801f5b5e1a227ef7a881d6ce97279 to your computer and use it in GitHub Desktop.
ISUCON練習用。こいつに差し替えないとrebootで死ぬ
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# | |
# 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 ext2 | |
if [ x$feature_platform_search_hint = xy ]; then | |
search --no-floppy --fs-uuid --set=root 8aaf9c30-4687-4550-af4d-17d997017523 | |
else | |
search --no-floppy --fs-uuid --set=root 8aaf9c30-4687-4550-af4d-17d997017523 | |
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=en_US | |
insmod gettext | |
fi | |
terminal_output gfxterm | |
if [ "${recordfail}" = 1 ] ; then | |
set timeout=30 | |
else | |
if [ x$feature_timeout_style = xy ] ; then | |
set timeout_style=hidden | |
set timeout=1 | |
# Fallback hidden-timeout code in case the timeout_style feature is | |
# unavailable. | |
elif sleep --interruptible 1 ; then | |
set timeout=0 | |
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/10_linux ### | |
function gfxmode { | |
set gfxpayload="${1}" | |
if [ "${1}" = "keep" ]; then | |
set vt_handoff=vt.handoff=1 | |
else | |
set vt_handoff= | |
fi | |
} | |
set linux_gfx_mode=text | |
export linux_gfx_mode | |
menuentry 'Ubuntu' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-simple-8aaf9c30-4687-4550-af4d-17d997017523' { | |
recordfail | |
gfxmode $linux_gfx_mode | |
insmod gzio | |
if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi | |
insmod part_msdos | |
insmod ext2 | |
if [ x$feature_platform_search_hint = xy ]; then | |
search --no-floppy --fs-uuid --set=root 8aaf9c30-4687-4550-af4d-17d997017523 | |
else | |
search --no-floppy --fs-uuid --set=root 8aaf9c30-4687-4550-af4d-17d997017523 | |
fi | |
linux /boot/vmlinuz-4.15.0-47-generic root=UUID=8aaf9c30-4687-4550-af4d-17d997017523 ro net.ifnames=0 vga=792 console=tty0 console=ttyS0,115200n8 noibrs quiet splash $vt_handoff | |
initrd /boot/initrd.img-4.15.0-47-generic | |
} | |
submenu 'Advanced options for Ubuntu' $menuentry_id_option 'gnulinux-advanced-8aaf9c30-4687-4550-af4d-17d997017523' { | |
menuentry 'Ubuntu, with Linux 4.15.0-47-generic' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-4.15.0-47-generic-advanced-8aaf9c30-4687-4550-af4d-17d997017523' { | |
recordfail | |
gfxmode $linux_gfx_mode | |
insmod gzio | |
if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi | |
insmod part_msdos | |
insmod ext2 | |
if [ x$feature_platform_search_hint = xy ]; then | |
search --no-floppy --fs-uuid --set=root 8aaf9c30-4687-4550-af4d-17d997017523 | |
else | |
search --no-floppy --fs-uuid --set=root 8aaf9c30-4687-4550-af4d-17d997017523 | |
fi | |
echo 'Loading Linux 4.15.0-47-generic ...' | |
linux /boot/vmlinuz-4.15.0-47-generic root=UUID=8aaf9c30-4687-4550-af4d-17d997017523 ro net.ifnames=0 vga=792 console=tty0 console=ttyS0,115200n8 noibrs quiet splash $vt_handoff | |
echo 'Loading initial ramdisk ...' | |
initrd /boot/initrd.img-4.15.0-47-generic | |
} | |
menuentry 'Ubuntu, with Linux 4.15.0-47-generic (recovery mode)' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-4.15.0-47-generic-recovery-8aaf9c30-4687-4550-af4d-17d997017523' { | |
recordfail | |
insmod gzio | |
if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi | |
insmod part_msdos | |
insmod ext2 | |
if [ x$feature_platform_search_hint = xy ]; then | |
search --no-floppy --fs-uuid --set=root 8aaf9c30-4687-4550-af4d-17d997017523 | |
else | |
search --no-floppy --fs-uuid --set=root 8aaf9c30-4687-4550-af4d-17d997017523 | |
fi | |
echo 'Loading Linux 4.15.0-47-generic ...' | |
linux /boot/vmlinuz-4.15.0-47-generic root=UUID=8aaf9c30-4687-4550-af4d-17d997017523 ro recovery nomodeset net.ifnames=0 vga=792 console=tty0 console=ttyS0,115200n8 noibrs | |
echo 'Loading initial ramdisk ...' | |
initrd /boot/initrd.img-4.15.0-47-generic | |
} | |
menuentry 'Ubuntu, with Linux 4.15.0-45-generic' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-4.15.0-45-generic-advanced-8aaf9c30-4687-4550-af4d-17d997017523' { | |
recordfail | |
gfxmode $linux_gfx_mode | |
insmod gzio | |
if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi | |
insmod part_msdos | |
insmod ext2 | |
if [ x$feature_platform_search_hint = xy ]; then | |
search --no-floppy --fs-uuid --set=root 8aaf9c30-4687-4550-af4d-17d997017523 | |
else | |
search --no-floppy --fs-uuid --set=root 8aaf9c30-4687-4550-af4d-17d997017523 | |
fi | |
echo 'Loading Linux 4.15.0-45-generic ...' | |
linux /boot/vmlinuz-4.15.0-45-generic root=UUID=8aaf9c30-4687-4550-af4d-17d997017523 ro net.ifnames=0 vga=792 console=tty0 console=ttyS0,115200n8 noibrs quiet splash $vt_handoff | |
echo 'Loading initial ramdisk ...' | |
initrd /boot/initrd.img-4.15.0-45-generic | |
} | |
menuentry 'Ubuntu, with Linux 4.15.0-45-generic (recovery mode)' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-4.15.0-45-generic-recovery-8aaf9c30-4687-4550-af4d-17d997017523' { | |
recordfail | |
insmod gzio | |
if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi | |
insmod part_msdos | |
insmod ext2 | |
if [ x$feature_platform_search_hint = xy ]; then | |
search --no-floppy --fs-uuid --set=root 8aaf9c30-4687-4550-af4d-17d997017523 | |
else | |
search --no-floppy --fs-uuid --set=root 8aaf9c30-4687-4550-af4d-17d997017523 | |
fi | |
echo 'Loading Linux 4.15.0-45-generic ...' | |
linux /boot/vmlinuz-4.15.0-45-generic root=UUID=8aaf9c30-4687-4550-af4d-17d997017523 ro recovery nomodeset net.ifnames=0 vga=792 console=tty0 console=ttyS0,115200n8 noibrs | |
echo 'Loading initial ramdisk ...' | |
initrd /boot/initrd.img-4.15.0-45-generic | |
} | |
menuentry 'Ubuntu, with Linux 4.15.0-20-generic' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-4.15.0-20-generic-advanced-8aaf9c30-4687-4550-af4d-17d997017523' { | |
recordfail | |
gfxmode $linux_gfx_mode | |
insmod gzio | |
if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi | |
insmod part_msdos | |
insmod ext2 | |
if [ x$feature_platform_search_hint = xy ]; then | |
search --no-floppy --fs-uuid --set=root 8aaf9c30-4687-4550-af4d-17d997017523 | |
else | |
search --no-floppy --fs-uuid --set=root 8aaf9c30-4687-4550-af4d-17d997017523 | |
fi | |
echo 'Loading Linux 4.15.0-20-generic ...' | |
linux /boot/vmlinuz-4.15.0-20-generic root=UUID=8aaf9c30-4687-4550-af4d-17d997017523 ro net.ifnames=0 vga=792 console=tty0 console=ttyS0,115200n8 noibrs quiet splash $vt_handoff | |
echo 'Loading initial ramdisk ...' | |
initrd /boot/initrd.img-4.15.0-20-generic | |
} | |
menuentry 'Ubuntu, with Linux 4.15.0-20-generic (recovery mode)' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-4.15.0-20-generic-recovery-8aaf9c30-4687-4550-af4d-17d997017523' { | |
recordfail | |
insmod gzio | |
if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi | |
insmod part_msdos | |
insmod ext2 | |
if [ x$feature_platform_search_hint = xy ]; then | |
search --no-floppy --fs-uuid --set=root 8aaf9c30-4687-4550-af4d-17d997017523 | |
else | |
search --no-floppy --fs-uuid --set=root 8aaf9c30-4687-4550-af4d-17d997017523 | |
fi | |
echo 'Loading Linux 4.15.0-20-generic ...' | |
linux /boot/vmlinuz-4.15.0-20-generic root=UUID=8aaf9c30-4687-4550-af4d-17d997017523 ro recovery nomodeset net.ifnames=0 vga=792 console=tty0 console=ttyS0,115200n8 noibrs | |
echo 'Loading initial ramdisk ...' | |
initrd /boot/initrd.img-4.15.0-20-generic | |
} | |
} | |
### END /etc/grub.d/10_linux ### | |
### BEGIN /etc/grub.d/20_linux_xen ### | |
### END /etc/grub.d/20_linux_xen ### | |
### BEGIN /etc/grub.d/30_os-prober ### | |
### 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 ### |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment