61
60
printf "menuentry \"${title}\" {\n" "${os}" "${version}"
62
61
save_default_entry | sed -e "s/^/\t/"
63
71
if [ -z "${prepare_boot_cache}" ]; then
64
72
prepare_boot_cache="$(prepare_grub_to_access_device ${GRUB_DEVICE_BOOT} | sed -e "s/^/\t/")"