#!/bin/bash

#DEBHELPER#

# postinst script for grub-multi-init-enabler

#set -e

cat  /usr/share/grub-multi-init-enabler/etc/default/grub > /etc/default/grub
cat  /usr/share/grub-multi-init-enabler/etc/grub.d/10_linux > /etc/grub.d/10_linux
update-grub

