Incredible, I managed to mess up even this simple patch! (I forgot to
set the variable `$argv0' when [current sh] != [zsh]).
An updated patch is attached. Sorry for the noise.
Regards,
Stefano
From 500b2cf40b0fd3a95fe0bb06ca9a19e21a316e81 Mon Sep 17 00:00:00 2001
From: Stefano Lattarini
Da
Stefano Lattarini wrote:
> Aaargh! There is a bug (another), with heirloom-sh this time.
> Apparently, shell traces are not enabled/disabled in run_command()
> the way they should.
> Please do not apply the patch until I'll had figured out and fixed the
> problem (I've no time right now, maybe to