Tamarin scripts can easily be made directly executable on MacOS and Linux.
In the steps below, the Tamarin script filename is
myscript. The full path
to the script is
1. Add a shebang line at the start of the Tamarin script.
2. Allow execution as a program by running
chmod against the script:
3. Optionally, update your
PATH variable so that your shell can find the script:
Having done that, you should be able to run
myscript as a program from your shell.
You should add the
export PATH statement to
~/.zshrc to persist the
PATH variable for future sessions.