#!/bin/sh set -e mkdir -pv boot/grub/ . config.sh [ "$BOOT" == "$ROOT" ] && pre="/boot" cat > boot/grub/grub.cfg <