#!/bin/sh . /usr/share/grub/grub-mkconfig_lib mtbios32=/boot/memtest86plus/memtest32.bios mtbios64=/boot/memtest86plus/memtest64.bios mtefi32=/boot/memtest86plus/memtest.efi32 mtefi64=/boot/memtest86plus/memtest.efi64 if [ $(ls /boot/memtest86plus | wc -l) -gt 1 ]; then multiple_memtest=true fi submenu_indentation="" if [ "${multiple_memtest}" = "true" ] && [ "${GRUB_DISABLE_SUBMENU}" != "y" ]; then submenu_indentation="${grub_tab}" cat <&2 device="$("${grub_probe}" --target=device "${mtbios32}")" path="$(make_system_path_relative_to_its_root "${mtbios32}")" cat <&2 device="$("${grub_probe}" --target=device "${mtbios64}")" path="$(make_system_path_relative_to_its_root "${mtbios64}")" cat <&2 device="$("${grub_probe}" --target=device "${mtefi32}")" path="$(make_system_path_relative_to_its_root "${mtefi32}")" cat <&2 device="$("${grub_probe}" --target=device "${mtefi64}")" path="$(make_system_path_relative_to_its_root "${mtefi64}")" cat <