#!/usr/bin/env bash logg info 'Ensure /usr/local/share/grub/themes is a directory' sudo mkdir -p /usr/local/share/grub/themes logg info 'Copy GRUB theme to /usr/local/share/grub/themes' cp -rf /usr/local/src/{{ .theme }}/share/grub/themes/ /usr/local/share/grub/themes logg info 'Ensure /boot/grub2/themes is a directory' sudo mkdir -p /boot/grub2/themes logg info 'Copy GRUB themes to /boot/grub2/themes' sudo cp -rf /usr/local/share/grub/themes/ /boot/grub2/themes