Re: [EXAMPLE-PATCH] /proc/config

Kevin Lentin (
Mon, 1 Jun 1998 14:49:11 +1000

On Sat, May 30, 1998 at 10:39:59AM -0700, Stephen Williams wrote:
> Why not? So call it /proc/config.gz. And I imagine something like
> this is rc.boot:
> cat /proc/config.gz | gzip -d > /boot/config
> rm /proc/config.gz

Great idea. That way you can free the resident memory that everyone is so
worried about. I can't see how one could complain about something like

> I agree that it is slightly silly kernel bloat, but give the guy a break.

Then make it a CONFIG option itself. It really annoys me when people
complain that something doesn't belong in the kernel because _they_ don't
want it and it makes the kernel bigger. Just answer No to the config

> At least he's not filling the list with I-hate-linux-because-it-doesn't-
> have-silly-feature-X-and-I'm-too-lazy-to-do-it-myself messages. I agree
> that it shouldn't go in the kernel mainstream, but there are places for
> bolt-on patches, and there is clearly an audience for this.

Right on.

[     Kevin Lentin               Email:      ]
[   finger for PGP public key block.   ]
[  KeyId: 06808EED    FingerPrint: 6024308DE1F84314  811B511DBA6FD596  ]

- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to