Specs In order to run TLA from the command line you should download and install some helpful set of scripts from here