#!/bin/bash

source /usr/share/defaults/etc/profile

set -e
exec update-grub "$@"
