#!/usr/bin/env bash create_grub_cfg() { local target="$1" local grub_cfg grub_cfg="$(cat < "$target" } get_grub() { echo } create_efi_image() { echo }