#!/usr/bin/env bash create_grub_cfg() { local target="$1" local grub_cfg grub_cfg="$(cat < "${target}/grub.cfg" } get_grub() { local version="2.12" local url="https://ftp.gnu.org/gnu/grub/grub-${version}.tar.gz" wget "${url}" tar -xvf "grub-${version}.tar.gz" (cd "grub-${version}"; ./configure --prefix="${TOOLSDIR}" && make install) } create_efi_image() { echo } create_stpdboot_ini() { local target="$1" local stupid_ini="$(cat < "${target}/stupid.ini" }