Re: naming of gzip'ed gnumach and serverboot
Marcus Brinkmann <Marcus.Brinkmann@ruhr-uni-bochum.de> writes:
> 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".
I much prefer the former because it is more transparent. Making
people edit menu.lst now is not a big deal.