/proc/.config patch v1.01

Brandon Black (brandon.black@wcom.com)
Mon, 29 Mar 1999 12:40:30 -0600


Sorry if I'm rehashing something someone's already said.. I'm not on the
list, and the archives don't thread very well :)

I love the idea of /proc/.config as put forth in Tigran's patch.
However, I can see the point of not wasting 10K of kernel space.
I thought Alan's "free compression" ideas are the perfect thing to make
this patch acceptable. I did this on my kernel and reduced
/proc/.config from ~7K to ~1K. If I look at it as a human while
configuring a new kernel, it is still readable. If you want to use it
as input to "make oldconfig" or something, just sed the CONFIG_ back on
the data prior to processing, the comments don't matter do they?
(haven't tried).

I don't see why the stripped down /proc/.config as a make config option
(so people who care about 1K can leave it out) shouldn't be something
for primetime... But then again... I'm often wrong :)

BTW, here's what I did for the free compression part mkdconfig.sh, which
removes leading CONFIG_, blank lines, and comment lines.

cat $tmp1; egrep -v '^(#.*)?$' <.config| sed -e "s/^CONFIG_//"; cat
$tmp2) > ./kernel/dconfig_buf.c

Brandon
:.˛mkabzwmb˛mbz_^nrzh&zvy杶ii