#!/bin/sh

# Dirty hack to solve grub menu

if [ -f /etc/default/grub ]; then
	sed -i "s%^GRUB_HIDDEN_TIMEOUT="0"%#GRUB_HIDDEN_TIMEOUT="0"%g"   /etc/default/grub || echo "Not find the line"
fi


update-grub2 || true

#DEBHELPER#