TethysL CLI Installation¶
About the releases¶
By "Java release" we mean an executable format that is to be run via the
javaprogram, which is part of a typical Java runtime environment installation.1 In this case, note that the
tethyslexecutable itself is a shell script that takes care of launching TethysL via the
javacommand, which is assumed to be on your
If not already on your system, you can install Java from java.com.
By "binary release" we mean a standalone
tethyslexecutable not requiring Java. However, these native executables are not yet part of the regular release workflow.
Regardless of the type of installed release, the
VSCode TethysL extension currently expects to
tethysl executable on the
Download and unzip
tethysl-2.1.0.zipin some location of your choice. This will create a directory
tethysl-2.1.0/under that location.
Open a terminal session and
cdto the extracted
make installas follows depending on where you want the
tethyslexecutable script to be installed. Typically, this could be under some location that you already have as part of the
PATHenvironment variable. Of course, feel free to use whatever practice for this purpose.
tethyslunder the default location
sudo make install PREFIX="/usr/local"
PREFIXas needed and run the
The TethysL CLI executable is available in binary form for Linux, macOS, and Windows.
Download the zip file above for your system.
The zip file only contains the executable program,
which is named
tethysl for Linux and macOS,
tethysl.exe for Windows.
The executable for macOS is not signed, so it will not run right away.
You could allow its execution via a command like
xattr -d com.apple.quarantine tethysl.
Alternatively, you can try the Java based release described below.
We plan on improving the release mechanism in the future as needed.
Typically, you will want the CLI executable to be findable through
PATH environment variable.
(This, in particular, is currently required by the VSCode TethysL extension).
So, extract the executable from the downloaded zip in a location on your system
that is either already part of the
PATH or that you can add to the
To verify the installation and
PATH setup, run
which should display the usage message on your terminal.
The CLI is also available as a Java Virtual Machine (JVM) application.1 Please try this option if the binary version for your OS is not working properly (and please let us know about the issue).
In this case, you will need a Java runtime environment to execute the TethysL CLI.
That is, the
java program should be on your
Download and unzip
tethysl-2.0.5.zipin some location of your choice. This will create a directory
tethysl-2.0.5/under that location.
Add the full path to the extracted
tethysl-2.0.5/bindirectory to your
PATH. For example, if you extracted the zip file under
~/Software, you can update the
Then, as a quick basic verification, run
As a bit of more advanced installation option for the Java based application,
you can alternatively
cd to the extracted
tethysl-2.0.5 directory and
run in your terminal:
make install # to install tethysl under ~/local/bin/
sudo make install PREFIX="/usr/local" # to install tethysl under /usr/local/bin/