- rename grub alternative to add png extension so grub can find it.
- run sync before updating grub to be sure the grub background has been
written to disk.
* debian/prerm:
- rename grub alternative to add png extension.
- install grub theme and script.
* grub:
- add SpaceFun grub theme.
- add a grub_background.sh which will override settings in grub and
correctly set the default theme.
9410da27dc
