mkimage-profiles/features.in/grub/cfg.in/85mediacheck.cfg

menuentry 'Check this media for defects' --id 'mediachk' {
  linux@linux_suffix@ @boot_path@/vmlinuz changedisk live quiet lowmem automatic=method:cdrom mediacheck=1 stagename=mediacheck showopts @bootargs@
  initrd@linux_suffix@ @boot_path@/full.cz
}
add grub feature 2019-10-30 20:36:22 +03:00			`menuentry 'Check this media for defects' --id 'mediachk' {`
grub: change @linux_suffix@ 2020-01-03 12:58:15 +03:00			`linux@linux_suffix@ @boot_path@/vmlinuz changedisk live quiet lowmem automatic=method:cdrom mediacheck=1 stagename=mediacheck showopts @bootargs@`
			`initrd@linux_suffix@ @boot_path@/full.cz`
add grub feature 2019-10-30 20:36:22 +03:00			`}`