> unfortunately trivial-shell has a transient bug, until Gary pushes the > fix into the official repo the attached patch needs to be applied to > it locally: fyi, since then the official trivial-shell repo received the patch. -- attila