> On Jul 6, 2016, at 3:16 PM, Sven Arvidsson <s...@whiz.se> wrote: > > Are you sure that your user uses bash for the login shell? There was a > transition from bash to dash some releases ago.
Nope. According to 'man sh', it's dash. I understood that dash is a fixed bash. But why would it work for root and not for a user? And why is it OK on all the other wheezy boxes around here? And how do I replace it? I'll poke around a bit more... -- Glenn English