#! /bin/bash

set -euE

$ROOTCMD update-grub
