Bug#500134: /etc/grub.d/05_debian_theme: make changing splash image easier

2011-01-02 Thread Alexander Kurtz
forcemerge 608283 500134 thanks Am Donnerstag, den 25.09.2008, 13:54 +0200 schrieb Krzysztof Burghardt: I'd like to introduce to /etc/grub.d/05_debian_theme config file enchances provided by Yan Morin. Those enchances makes changing colors and splasimages easier. If you, decide to accept this

Bug#500134: /etc/grub.d/05_debian_theme: make changing splash image easier

2008-10-13 Thread Krzysztof Burghardt
2008/10/5 Robert Millan [EMAIL PROTECTED]: if [ $GRUB_TERMINAL = gfxterm ] ; then - for i in {/boot/grub,/usr/share/images/desktop-base}/debian-blueish-wallpaper-640x480.{png,tga} ; do + for i in

Bug#500134: /etc/grub.d/05_debian_theme: make changing splash image easier

2008-10-05 Thread Robert Millan
On Thu, Sep 25, 2008 at 01:54:15PM +0200, Krzysztof Burghardt wrote: Package: grub-pc Version: 1.96+20080724-10 Severity: wishlist Tags: patch Dear GRUB2 package maintainers, I'd like to introduce to /etc/grub.d/05_debian_theme config file enchances provided by Yan Morin. Those

Bug#500134: /etc/grub.d/05_debian_theme: make changing splash image easier

2008-09-25 Thread Krzysztof Burghardt
Package: grub-pc Version: 1.96+20080724-10 Severity: wishlist Tags: patch Dear GRUB2 package maintainers, I'd like to introduce to /etc/grub.d/05_debian_theme config file enchances provided by Yan Morin. Those enchances makes changing colors and splasimages easier. If you, decide to accept this