Re: [EXAMPLE-PATCH] /proc/config

Kevin Lentin (kevinl@cs.monash.edu.au)
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
this.

> 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
option!

> 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: K.Lentin@cs.monash.edu.au      ]
[   finger kevinl@fangorn.cs.monash.edu.au 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 majordomo@vger.rutgers.edu