On Sun, Feb 02, 2003 at 06:11:50PM -0500, Michael Stone wrote: > On Sun, Feb 02, 2003 at 08:58:51PM -0200, Henrique de Moraes Holschuh wrote: > >On Sat, 01 Feb 2003, Matt Zimmerman wrote: > >>I question whether menu entries for shells are a useful thing to have. > >>Does > >>anyone actually use these? > > > >Yes. > > Anyone else? Yes. -- Daniel Jacobowitz MontaVista Software Debian GNU/Linux Developer