POSTIN

/bin/sh

# Don't install if updating
if [ $1 -eq 1 ] ; then
# Check for other themes and remove them
sed -i '/GRUB_THEME=\/boot\/grub2/d' /etc/default/grub
# Check that /etc/default/grub ends in a linefeed
[ "$(tail -n 1 /etc/default/grub | wc --lines)" = "1" ] || echo >> /etc/default/grub
# Add mga3-dejavu theme
echo "GRUB_THEME=/boot/grub2/themes/mga3-dejavu/theme.txt" >> /etc/default/grub
fi

POSTUN

/bin/sh

exec > /var/log/grub2_theme_postun.log 2>&1
# Only if uninstalling mga3-dejavu theme
if [ $1 -eq 0 ]; then
# Remove mga3-dejavu theme from config
sed -i '/GRUB_THEME=\/boot\/grub2\/themes\/mga3-dejavu\/theme.txt/d' /etc/default/grub
fi