post_install()
{


	if [ -f /etc/os-release ]; then
		source /etc/os-release
		sed -i "s|^GRUB_DISTRIBUTOR=.*\$|GRUB_DISTRIBUTOR=\"$PRETTY_NAME\"|" /etc/default/grub
	fi
}

post_upgrade() {

	## always refresh on install / upgrade..
	post_install

	## make sure new grub gets installed
	/usr/sbin/grub-install

}

op=$1
shift
$op $*