#! /bin/sh
set -e

# Hijack distributor if it is Ubuntu (default on Ubuntu systems...)
if [ "${GRUB_DISTRIBUTOR}" = "Ubuntu" ] ; then
  GRUB_DISTRIBUTOR="Kubuntu"
fi