Bug#415955: please support GRUB Invaders in 'update-grub'
package: grub
severity: wishlist
tags: patch
Dear GRUB-Maintainers!
Please add support for the GRUB Invaders game to the 'update-grub'
script. GRUB Invaders is a very small (~4kB) multiboot compliant Space
Invaders clone which runs directly on a computer (i386), without an
operating system. It is meant to be started with the GRUB bootloader for
PCs [0,1].
The game is not *yet* in Debian [2] but is still waiting in the NEW
queue [3]. If you want to have a look at the package or want to try out
the game please have a look at mentors.debian.net [4].
Please find attached a trivial patch (~10 lines)
for /usr/sbin/update-grub which adds support for the game. It is
basically the same code used for GRUB 2 chainloading and memtest86(+)
but with the strings renamed.
[0] http://www.erikyyy.de/invaders/
[1] http://unix.freshmeat.net/projects/grubinvaders/
[2] http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=415955
[3] http://ftp-master.debian.org/new.html
[4] http://mentors.debian.net/debian/pool/main/i/invaders/
Thank you very much!
Cheers,
Fabian
--- /usr/sbin/update-grub.orig 2007-02-13 17:47:13.000000000 +0100
+++ /usr/sbin/update-grub 2007-03-23 14:53:34.000000000 +0100
@@ -1136,6 +1136,19 @@
done
fi
+# GRUB Invaders
+invadersname="invaders"
+if test -f "/boot/$invadersname" ; then
+ echo "Found GRUB Invaders: $kernel_dir/$invadersname" >&2
+ cat >> $buffer << EOF
+title GRUB Invaders
+root $grub_root_device
+kernel $kernel_dir/$invadersname
+savedefault
+
+EOF
+fi
+
echo $end >> $buffer
echo -n "Updating $menu ... " >&2
Reply to: