Re: [patch] scripts/Configure should use stdin

Dick Streefland (dick_streefland@tasking.com)
Fri, 28 Aug 1998 20:23:37 +0200

Alessandro Rubini <rubini@pop.systemy.it> wrote:
| My preferred cmdline looks like
| yes "" | make config | tr ']' '\n' | grep -w NEW
| but there are other uses of stdin. Actually, I don't see any reason to
| read /dev/tty.

You know about "make oldconfig", do you?

-- 
Dick Streefland                      ////            Tasking Software BV
dick_streefland@tasking.com         (@ @)         http://www.tasking.com
--------------------------------oOO--(_)--OOo---------------------------


-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.rutgers.edu
Please read the FAQ at http://www.altern.org/andrebalsa/doc/lkml-faq.html