Kai Weber <kai.weber@glorybox.de> [06.05.2002] > Unter der Annahme, dass alle Kerneloptionen mit CONFIG_ beginnen: > > $ grep '^CONFIG_' /usr/src/linux/.config rolf@Sirius:~$ grep -i config_ /usr/src/linux/config | wc -l 690 -- Gruss Rolf -- Zum AUSTRAGEN schicken Sie eine Mail an debian-user-german-request@lists.debian.org mit dem Subject "unsubscribe". Probleme? Mail an listmaster@lists.debian.org (engl)