On Thu, Jul 08, 2010 at 08:17:31PM +0200, Stéphane Glondu wrote: > Maybe it depends on your default login shell... Could you try with the > attached patch? yes indeed, that works, Thanks ! On many machines, and probably on alioth too, I have set my login shell to tcsh (yes, I now this is evil :-) -Ralf.