Marcus Brinkmann <[EMAIL PROTECTED]> 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.

