Re: [IDEA] Developers: your opinion badly needed ! (Was: [PATCH] /proc/config.gz)

Javier Kohen (jkohen@tough.com)
Mon, 8 Jun 1998 20:47:28 -0300 (ART)


On Tue, 2 Jun 1998, Marty Leisner wrote:

> The solution for /boot/*-${VERSION} is not sufficient when
> multiple kernels exists for the same version...

Then you may use /boot/*-${TIMESTAMP}.

Javier Kohen <jkohen@tough.com> [The_Crusher]
http://jkohen.base.org ICQ#3855350 PGPID:3423EAA9

-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.rutgers.edu