#!/bin/sh
set -e

FILE=/etc/grub.d/15_deepin-boot-kit
if [ -e "$FILE" ]; then
    rm -f ${FILE}
fi