Hello,
the next versions of the Debian packages will have gnumach and serverboot
gzip'ed, because this uses less disk space and GRUB supports this fine.
First, let me note that this will force everyone to upgrade his GRUB. I
will make sure that a simple boot floppy image is available, that can be
used to install a recent GRUB on Hard disk, too, before uploading the
packages. (The older Grub that was shipped with gnu-0.2 has a problem with
serverboot being compressed).
I would like a general opinion about the filenames to use. Should we use
/boot/gnumach.gz
/boot/serverboot.gz
for the gzip'ed files, or should we store the gzip'ed files under the
standard names
/boot/gnumach
/boot/serverboot
The first solution has the advantage that it is obvious to the user that the
files are simply gzip'ed, and you can conveniently gunzip them if needed.
The second solution has the advantage that you don't need to change the
filename in exisitng GRUB menu.lst files.
Personally, I think the first is better, because it is only a one time
inconvenience for the people who already have an installation. The latter
does affect everyone from now in the future and you never know if it is a
gzip'ed version of the kernel or not until you check with "file".
Thanks,
Marcus
--
`Rhubarb is no Egyptian god.' Debian http://www.debian.org finger brinkmd@
Marcus Brinkmann GNU http://www.gnu.org master.debian.org
Marcus.Brinkmann@ruhr-uni-bochum.de for public PGP Key
http://homepage.ruhr-uni-bochum.de/Marcus.Brinkmann/ PGP Key ID 36E7CD09