A couple of scripts for installing and running inform7 in linux from the CLI

Technical Development Interpreters
,
6

See the Inform 7 Documentation and Resources post for some pointers to tutorials.