petr Tue, 03 Dec 2002 03:56:56 -0600
One can, of course, run "dselect update" instead of "apt-get update".
- Peter.
