[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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.

Reply to: