Compare text

Find the difference between two text files
Real-time diff
Unified diff
Collapse lines
Highlight change
Syntax highlighting
Tools

grubdiff

Created Diff never expires
55 removals
225 lines
38 additions
207 lines
#
#
# DO NOT EDIT THIS FILE
# DO NOT EDIT THIS FILE
#
#
# It is automatically generated by grub-mkconfig using templates
# It is automatically generated by grub-mkconfig using templates
# from /etc/grub.d and settings from /etc/default/grub
# from /etc/grub.d and settings from /etc/default/grub
#
#


### BEGIN /etc/grub.d/00_header ###
### BEGIN /etc/grub.d/00_header ###
if [ -s $prefix/grubenv ]; then
if [ -s $prefix/grubenv ]; then
set have_grubenv=true
set have_grubenv=true
load_env
load_env
fi
fi
if [ "${next_entry}" ] ; then
if [ "${next_entry}" ] ; then
set default="${next_entry}"
set default="${next_entry}"
set next_entry=
set next_entry=
save_env next_entry
save_env next_entry
set boot_once=true
set boot_once=true
else
else
set default="0"
set default="0"
fi
fi


if [ x"${feature_menuentry_id}" = xy ]; then
if [ x"${feature_menuentry_id}" = xy ]; then
menuentry_id_option="--id"
menuentry_id_option="--id"
else
else
menuentry_id_option=""
menuentry_id_option=""
fi
fi


export menuentry_id_option
export menuentry_id_option


if [ "${prev_saved_entry}" ]; then
if [ "${prev_saved_entry}" ]; then
set saved_entry="${prev_saved_entry}"
set saved_entry="${prev_saved_entry}"
save_env saved_entry
save_env saved_entry
set prev_saved_entry=
set prev_saved_entry=
save_env prev_saved_entry
save_env prev_saved_entry
set boot_once=true
set boot_once=true
fi
fi


function savedefault {
function savedefault {
if [ -z "${boot_once}" ]; then
if [ -z "${boot_once}" ]; then
saved_entry="${chosen}"
saved_entry="${chosen}"
save_env saved_entry
save_env saved_entry
fi
fi
}
}
function load_video {
function load_video {
if [ x$feature_all_video_module = xy ]; then
if [ x$feature_all_video_module = xy ]; then
insmod all_video
insmod all_video
else
else
insmod efi_gop
insmod efi_gop
insmod efi_uga
insmod efi_uga
insmod ieee1275_fb
insmod ieee1275_fb
insmod vbe
insmod vbe
insmod vga
insmod vga
insmod video_bochs
insmod video_bochs
insmod video_cirrus
insmod video_cirrus
fi
fi
}
}


if [ x$feature_default_font_path = xy ] ; then
if [ x$feature_default_font_path = xy ] ; then
font=unicode
font=unicode
else
else
insmod part_msdos
insmod part_msdos
insmod ext2
insmod ext2
set root='hd0,msdos1'
if [ x$feature_platform_search_hint = xy ]; then
if [ x$feature_platform_search_hint = xy ]; then
search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos1 --hint-efi=hd0,msdos1 --hint-baremetal=ahci0,msdos1 b95bdc43-2bee-45b0-99e6-e042222f5cd1
search --no-floppy --fs-uuid --set=root 26ada0c0-1165-4098-884d-aafd2220c2c6
else
else
search --no-floppy --fs-uuid --set=root b95bdc43-2bee-45b0-99e6-e042222f5cd1
search --no-floppy --fs-uuid --set=root 26ada0c0-1165-4098-884d-aafd2220c2c6
fi
fi
font="/usr/share/grub/unicode.pf2"
font="/usr/share/grub/unicode.pf2"
fi
fi


if loadfont $font ; then
if loadfont $font ; then
set gfxmode=auto
set gfxmode=auto
load_video
load_video
insmod gfxterm
insmod gfxterm
set locale_dir=$prefix/locale
set lang=en_US
insmod gettext
fi
fi
terminal_output gfxterm
terminal_output gfxterm
if [ "${recordfail}" = 1 ] ; then
if [ "${recordfail}" = 1 ] ; then
set timeout=30
set timeout=30
else
else
if [ x$feature_timeout_style = xy ] ; then
if [ x$feature_timeout_style = xy ] ; then
set timeout_style=menu
set timeout_style=menu
set timeout=5
set timeout=5
# Fallback normal timeout code in case the timeout_style feature is
# Fallback normal timeout code in case the timeout_style feature is
# unavailable.
# unavailable.
else
else
set timeout=5
set timeout=5
fi
fi
fi
fi
### END /etc/grub.d/00_header ###
### END /etc/grub.d/00_header ###


### BEGIN /etc/grub.d/05_debian_theme ###
### BEGIN /etc/grub.d/05_debian_theme ###
insmod part_msdos
set menu_color_normal=cyan/blue
insmod ext2
set menu_color_highlight=white/blue
set root='hd0,msdos1'
if [ x$feature_platform_search_hint = xy ]; then
search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos1 --hint-efi=hd0,msdos1 --hint-baremetal=ahci0,msdos1 b95bdc43-2bee-45b0-99e6-e042222f5cd1
else
search --no-floppy --fs-uuid --set=root b95bdc43-2bee-45b0-99e6-e042222f5cd1
fi
insmod png
if background_image /usr/share/desktop-base/futureprototype-theme/grub/grub-4x3.png; then
set color_normal=white/black
set color_highlight=black/white
else
set menu_color_normal=cyan/blue
set menu_color_highlight=white/blue
fi
### END /etc/grub.d/05_debian_theme ###
### END /etc/grub.d/05_debian_theme ###


### BEGIN /etc/grub.d/10_linux ###
### BEGIN /etc/grub.d/10_linux ###
function gfxmode {
function gfxmode {
set gfxpayload="${1}"
set gfxpayload="${1}"
}
}
set linux_gfx_mode=
set linux_gfx_mode=1024x768
export linux_gfx_mode
export linux_gfx_mode
menuentry 'Debian GNU/Linux' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-simple-b95bdc43-2bee-45b0-99e6-e042222f5cd1' {
menuentry 'Kicksecure GNU/Linux' --class kicksecure --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-simple-26ada0c0-1165-4098-884d-aafd2220c2c6' {
load_video
load_video
gfxmode $linux_gfx_mode
insmod gzio
insmod gzio
if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
insmod part_msdos
insmod part_msdos
insmod ext2
insmod ext2
set root='hd0,msdos1'
if [ x$feature_platform_search_hint = xy ]; then
if [ x$feature_platform_search_hint = xy ]; then
search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos1 --hint-efi=hd0,msdos1 --hint-baremetal=ahci0,msdos1 b95bdc43-2bee-45b0-99e6-e042222f5cd1
search --no-floppy --fs-uuid --set=root 26ada0c0-1165-4098-884d-aafd2220c2c6
else
else
search --no-floppy --fs-uuid --set=root b95bdc43-2bee-45b0-99e6-e042222f5cd1
search --no-floppy --fs-uuid --set=root 26ada0c0-1165-4098-884d-aafd2220c2c6
fi
fi
echo 'Loading Linux 4.19.0-13-amd64 ...'
echo 'Loading Linux 4.19.0-13-amd64 ...'
linux /boot/vmlinuz-4.19.0-13-amd64 root=UUID=b95bdc43-2bee-45b0-99e6-e042222f5cd1 ro quiet
linux /boot/vmlinuz-4.19.0-13-amd64 root=UUID=26ada0c0-1165-4098-884d-aafd2220c2c6 ro spectre_v2=on spec_store_bypass_disable=on tsx=off tsx_async_abort=full,nosmt mds=full,nosmt l1tf=full,force nosmt=force kvm.nx_huge_pages=force random.trust_cpu=off intel_iommu=on amd_iommu=on efi=disable_early_pci_dma slab_nomerge slub_debug=FZP page_poison=1 mce=0 pti=on vsyscall=none extra_latent_entropy quiet loglevel=0 debugfs=off
echo 'Loading initial ramdisk ...'
echo 'Loading initial ramdisk ...'
initrd /boot/initrd.img-4.19.0-13-amd64
initrd /boot/initrd.img-4.19.0-13-amd64
}
}
submenu 'Advanced options for Debian GNU/Linux' $menuentry_id_option 'gnulinux-advanced-b95bdc43-2bee-45b0-99e6-e042222f5cd1' {
submenu 'Advanced options for Kicksecure GNU/Linux' $menuentry_id_option 'gnulinux-advanced-26ada0c0-1165-4098-884d-aafd2220c2c6' {
menuentry 'Debian GNU/Linux, with Linux 4.19.0-13-amd64' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-4.19.0-13-amd64-advanced-b95bdc43-2bee-45b0-99e6-e042222f5cd1' {
menuentry 'Kicksecure GNU/Linux, with Linux 4.19.0-13-amd64' --class kicksecure --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-4.19.0-13-amd64-advanced-26ada0c0-1165-4098-884d-aafd2220c2c6' {
load_video
load_video
gfxmode $linux_gfx_mode
insmod gzio
insmod gzio
if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
insmod part_msdos
insmod part_msdos
insmod ext2
insmod ext2
set root='hd0,msdos1'
if [ x$feature_platform_search_hint = xy ]; then
if [ x$feature_platform_search_hint = xy ]; then
search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos1 --hint-efi=hd0,msdos1 --hint-baremetal=ahci0,msdos1 b95bdc43-2bee-45b0-99e6-e042222f5cd1
search --no-floppy --fs-uuid --set=root 26ada0c0-1165-4098-884d-aafd2220c2c6
else
else
search --no-floppy --fs-uuid --set=root b95bdc43-2bee-45b0-99e6-e042222f5cd1
search --no-floppy --fs-uuid --set=root 26ada0c0-1165-4098-884d-aafd2220c2c6
fi
fi
echo 'Loading Linux 4.19.0-13-amd64 ...'
echo 'Loading Linux 4.19.0-13-amd64 ...'
linux /boot/vmlinuz-4.19.0-13-amd64 root=UUID=b95bdc43-2bee-45b0-99e6-e042222f5cd1 ro quiet
linux /boot/vmlinuz-4.19.0-13-amd64 root=UUID=26ada0c0-1165-4098-884d-aafd2220c2c6 ro spectre_v2=on spec_store_bypass_disable=on tsx=off tsx_async_abort=full,nosmt mds=full,nosmt l1tf=full,force nosmt=force kvm.nx_huge_pages=force random.trust_cpu=off intel_iommu=on amd_iommu=on efi=disable_early_pci_dma slab_nomerge slub_debug=FZP page_poison=1 mce=0 pti=on vsyscall=none extra_latent_entropy quiet loglevel=0 debugfs=off
echo 'Loading initial ramdisk ...'
echo 'Loading initial ramdisk ...'
initrd /boot/initrd.img-4.19.0-13-amd64
initrd /boot/initrd.img-4.19.0-13-amd64
}
}
menuentry 'Debian GNU/Linux, with Linux 4.19.0-13-amd64 (recovery mode)' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-4.19.0-13-amd64-recovery-b95bdc43-2bee-45b0-99e6-e042222f5cd1' {
menuentry 'Kicksecure GNU/Linux, with Linux 4.19.0-13-amd64 (recovery mode)' --class kicksecure --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-4.19.0-13-amd64-recovery-26ada0c0-1165-4098-884d-aafd2220c2c6' {
load_video
load_video
gfxmode $linux_gfx_mode
insmod gzio
insmod gzio
if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
insmod part_msdos
insmod part_msdos
insmod ext2
insmod ext2
set root='hd0,msdos1'
if [ x$feature_platform_search_hint = xy ]; then
if [ x$feature_platform_search_hint = xy ]; then
search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos1 --hint-efi=hd0,msdos1 --hint-baremetal=ahci0,msdos1 b95bdc43-2bee-45b0-99e6-e042222f5cd1
search --no-floppy --fs-uuid --set=root 26ada0c0-1165-4098-884d-aafd2220c2c6
else
else
search --no-floppy --fs-uuid --set=root b95bdc43-2bee-45b0-99e6-e042222f5cd1
search --no-floppy --fs-uuid --set=root 26ada0c0-1165-4098-884d-aafd2220c2c6
fi
fi
echo 'Loading Linux 4.19.0-13-amd64 ...'
echo 'Loading Linux 4.19.0-13-amd64 ...'
linux /boot/vmlinuz-4.19.0-13-amd64 root=UUID=b95bdc43-2bee-45b0-99e6-e042222f5cd1 ro single
linux /boot/vmlinuz-4.19.0-13-amd64 root=UUID=26ada0c0-1165-4098-884d-aafd2220c2c6 ro single spectre_v2=on spec_store_bypass_disable=on tsx=off tsx_async_abort=full,nosmt mds=full,nosmt l1tf=full,force nosmt=force kvm.nx_huge_pages=force random.trust_cpu=off intel_iommu=on amd_iommu=on efi=disable_early_pci_dma slab_nomerge slub_debug=FZP page_poison=1 mce=0 pti=on vsyscall=none extra_latent_entropy quiet loglevel=0 debugfs=off
echo 'Loading initial ramdisk ...'
echo 'Loading initial ramdisk ...'
initrd /boot/initrd.img-4.19.0-13-amd64
initrd /boot/initrd.img-4.19.0-13-amd64
}
}
}
}


### END /etc/grub.d/10_linux ###
### END /etc/grub.d/10_linux ###


### BEGIN /etc/grub.d/11_linux_live ###
### BEGIN /etc/grub.d/11_linux_live ###
function gfxmode {
function gfxmode {
set gfxpayload="${1}"
set gfxpayload="${1}"
}
}
set linux_gfx_mode=
set linux_gfx_mode=1024x768
export linux_gfx_mode
export linux_gfx_mode
menuentry 'LIVE mode USER (For daily activities.) GNU/Linux, with Linux 4.19.0-13-amd64' --class live --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-4.19.0-13-amd64-advanced-b95bdc43-2bee-45b0-99e6-e042222f5cd1' {
menuentry 'LIVE mode USER (For daily activities.) GNU/Linux, with Linux 4.19.0-13-amd64' --class live --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-4.19.0-13-amd64-advanced-26ada0c0-1165-4098-884d-aafd2220c2c6' {
load_video
load_video
gfxmode $linux_gfx_mode
insmod gzio
insmod gzio
if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
insmod part_msdos
insmod part_msdos
insmod ext2
insmod ext2
set root='hd0,msdos1'
if [ x$feature_platform_search_hint = xy ]; then
if [ x$feature_platform_search_hint = xy ]; then
search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos1 --hint-efi=hd0,msdos1 --hint-baremetal=ahci0,msdos1 b95bdc43-2bee-45b0-99e6-e042222f5cd1
search --no-floppy --fs-uuid --set=root 26ada0c0-1165-4098-884d-aafd2220c2c6
else
else
search --no-floppy --fs-uuid --set=root b95bdc43-2bee-45b0-99e6-e042222f5cd1
search --no-floppy --fs-uuid --set=root 26ada0c0-1165-4098-884d-aafd2220c2c6
fi
fi
echo 'Loading Linux 4.19.0-13-amd64 ...'
echo 'Loading Linux 4.19.0-13-amd64 ...'
linux /boot/vmlinuz-4.19.0-13-amd64 root=/dev/disk/by-uuid/b95bdc43-2bee-45b0-99e6-e042222f5cd1 ro boot=live plainroot union=overlay ip=frommedia noeject nopersistence quiet
linux /boot/vmlinuz-4.19.0-13-amd64 root=/dev/disk/by-uuid/26ada0c0-1165-4098-884d-aafd2220c2c6 ro spectre_v2=on spec_store_bypass_disable=on tsx=off tsx_async_abort=full,nosmt mds=full,nosmt l1tf=full,force nosmt=force kvm.nx_huge_pages=force random.trust_cpu=off intel_iommu=on amd_iommu=on efi=disable_early_pci_dma slab_nomerge slub_debug=FZP page_poison=1 mce=0 pti=on vsyscall=none extra_latent_entropy quiet loglevel=0 debugfs=off boot=live plainroot union=overlay ip=frommedia noeject nopersistence
echo 'Loading initial ramdisk ...'
echo 'Loading initial ramdisk ...'
initrd /boot/initrd.img-4.19.0-13-amd64
initrd /boot/initrd.img-4.19.0-13-amd64
}
}


### END /etc/grub.d/11_linux_live ###
### END /etc/grub.d/11_linux_live ###


### BEGIN /etc/grub.d/20_linux_xen ###
### BEGIN /etc/grub.d/20_linux_xen ###


### END /etc/grub.d/20_linux_xen ###
### END /etc/grub.d/20_linux_xen ###


### BEGIN /etc/grub.d/30_os-prober ###
### BEGIN /etc/grub.d/30_os-prober ###
### END /etc/grub.d/30_os-prober ###
### END /etc/grub.d/30_os-prober ###


### BEGIN /etc/grub.d/30_uefi-firmware ###
### BEGIN /etc/grub.d/30_uefi-firmware ###
### END /etc/grub.d/30_uefi-firmware ###
### END /etc/grub.d/30_uefi-firmware ###


### BEGIN /etc/grub.d/40_custom ###
### BEGIN /etc/grub.d/40_custom ###
# This file provides an easy way to add custom menu entries. Simply type the
# 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
# menu entries you want to add after this comment. Be careful not to change
# the 'exec tail' line above.
# the 'exec tail' line above.
### END /etc/grub.d/40_custom ###
### END /etc/grub.d/40_custom ###


### BEGIN /etc/grub.d/41_custom ###
### BEGIN /etc/grub.d/41_custom ###
if [ -f ${config_directory}/custom.cfg ]; then
if [ -f ${config_directory}/custom.cfg ]; then
source ${config_directory}/custom.cfg
source ${config_directory}/custom.cfg
elif [ -z "${config_directory}" -a -f $prefix/custom.cfg ]; then
elif [ -z "${config_directory}" -a -f $prefix/custom.cfg ]; then
source $prefix/custom.cfg;
source $prefix/custom.cfg;
fi
fi
### END /etc/grub.d/41_custom ###
### END /etc/grub.d/41_custom ###


Saved diffs