grubdiff

Created Diff never expires
56 removals
Lines
Total
Removed
Words
Total
Removed
To continue using this feature, upgrade to
Diffchecker logo
Diffchecker Pro
225 lines
36 additions
Lines
Total
Added
Words
Total
Added
To continue using this feature, upgrade to
Diffchecker logo
Diffchecker Pro
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 ###