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