File debian.postinst of Package 6100-splashy-theme

#!/bin/sh
#
#
splashy_config -s 6100
update-initramfs -v -d -k `uname -r`
update-initramfs -v -c -k `uname -r`
mv /boot/grub/menu.lst /boot/grub/menu.lst.pre-splashy
install -m 644 /etc/splashy/menu.lst /boot/grub/menu.lst