On Tuesday 27 November 2012 12:02:34 Jon Dowland wrote: > For modern Debian installations it's not bash either. Switching /bin/sh > to dash by default was done principally to make boot times quicker (dash > is smaller and faster to load than bash).
Thanks for the information, Jon. I hadn't realised that! I've merrily carried on using "bash". :-/ Lisi -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]

