Workaround for tla signed archive problems

>
create a file called
~/.arch-paramas/signing/[email protected]—main.check and put, as the
only line, ‘echo -n’ in it.

echo -n produces no output and returns 0 so tla thinks the signature
check succeded.

E-Mail%20from%20Marco%20Baringer