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