BOOT_DIR="/boot/grub/themes"
THEME_DIR="/usr/share/grub/themes"
PKG_NAME="tarch-grub-theme"
FILES_NAME="tarch"

post_upgrade() {
	cp -r ${THEME_DIR}/${FILES_NAME} ${BOOT_DIR}/
}