Use the new 'select' option to make the shell config
authorEric Andersen <andersen@codepoet.org>
Fri, 8 Aug 2003 23:40:12 +0000 (23:40 -0000)
committerEric Andersen <andersen@codepoet.org>
Fri, 8 Aug 2003 23:40:12 +0000 (23:40 -0000)
commitb287e2e27a388deecd9d9580f2a846b2b2efff42
treec5745cb1766bfb17731879c0a77be16aa8ba8056
parentc601ff149a91fbadc06a8b0cd86d4dbbd73f84a2
Use the new 'select' option to make the shell config
much less evil and far more obvious.
 -Erik
shell/Config.in