#! /usr/bin/dh-exec
debian/grub-choose-default.desktop usr/share/applications
grub-choose-default.py => usr/sbin/grub-choose-default
