While we're tweaking Configure...

joefu (joefu@darkstar.nomad.net)
Tue, 5 Sep 1995 23:23:18 -0500 (CDT)


How about something at the front of the 'make config' process that might
reduce newsgroup traffic by 20%?

Here's a sample... Note how nicely it avoids oldconfig, as well as being
easy to change.

*** Configure.orig Tue Sep 5 22:16:45 1995
--- Configure Tue Sep 5 23:11:30 1995
***************
*** 246,251 ****
--- 246,267 ----
. /tmp/conf.$$
rm /tmp/conf.$$
fi
+ [ "$DEFAULT" != "-d" ] && cat << EOF
+ Welcome to the setup script for the Linux kernel! Here are some
+ general suggestions:
+ After each question, press enter for the default, or type a
+ single letter to change the option. Some parts allow you to
+ specify "m", which configures that option as a loadable module.
+ For more on modules, check README.modules in this source tree.
+ Read the Kernel-HOWTO for descriptions of many options.
+ Beyond that, use the defaults. :-)
+ If you mess up, run 'make config' again. To save the
+ configuration for future upgrades (excepting the sound driver),
+ copy /usr/src/linux/.config somewhere safe. Later, you can
+ recreate the same set of drivers and options by running "make
+ oldconfig" before you build. Note that a large jump in kernel
+ versions will probably make this stop working. 8-)
+ EOF
. $CONFIG_IN

if [ "$CONFIG_SOUND" = "y" ] ; then

--joefu (As with any proposed patch, flames to /dev/null. :)