post_install() {
	echo "Updating MIME database"
	update-mime-database /usr/share/mime
	update-desktop-database
}

post_remove() {
	echo "Updating MIME database"
	update-mime-database /usr/share/mime
	update-desktop-database
}

op=$1
shift

$op $*