Skip to content



WIP. Thanks for any testing and feedback.

  • You will need a Java runtime environment to run the TethysL CLI; in concrete, the CLI will assume the command java is available in your $PATH.

  • Download and unpack in some location of your choice. That will create a directory tethysl-1.8.9/.

  • Add the full path to the tethysl-1.8.9/bin directory to your $PATH, for example:

    export PATH=~/Software/tethysl-1.8.9/bin:$PATH

Then, you should be able to run, for example:

$ tethysl --help

TethysL v1.8.9

TethysL CLI
  tethysl [-h|--help] [SUBCOMMAND] [OPTION]...

  -h, --help      Show help message
  -v, --version   Show version of this program

  compile        Compile .tethysl sources
  info           Display/update supporting information
  prettify       Prettify .tethysl sources
  markdown       Generate markdown from .tethysl sources
  from-xml       Translate .xml sources to .tethysl sources
  validate-xml   Validate mission files in XML format
  config         (*) Show TethysL configuration
  http-server    (*) Run TethysL HTTP server
  lsp-server     (*) Run TethysL LSP server

(*) Advanced.
For more details and all other tricks, consult the documentation.


The lsp-server subcommand is actually only intended to be invoked automatically by LSP clients. See the VSCode section.