path: root/.install

post_upgrade() {
	echo "Run secure-grub-install as root, keys have been changed in update"
}