make modules_install: a vote for user friendliness

1997-07-15 Thread Will Lowe
This might be going to the wrong list, but I don't think I subscribe to debian-devel. Maybe it actually goes to the linux kernel people. Anyway: Shouldn't make modules_install 1) automatically purge the /lib/modules/* tree before installing? 2) update /etc/modules and conf.modules? I

Re: make modules_install: a vote for user friendliness

1997-07-15 Thread Ben Gertzfield
Will == Will Lowe [EMAIL PROTECTED] writes: Will This might be going to the wrong list, but I don't think I Will subscribe to debian-devel. Maybe it actually goes to the Will linux kernel people. Anyway: Will Shouldn't make modules_install 1) automatically purge the Will