ARES System Manual: exec Shell

(input) @do <script>

Interprets and runs the specified script file. exec scripts typically have the file extension .as and consist of a series of commands to send through exec with the @ sign removed.

Some exec built-in commands are only meaningful inside a script: exit and jump.

Shell built-in command: This command is part of the exec shell and does not have a corresponding system binary. It must be used shell scripts without a preceding @ and cannot be called directly with the system invoke() API.

To run an exec shell script with invoke(), use the syntax exec do <script>.

By default, exec will also check filename extensions for registered handlers, so for familiar filenames, do can be omitted, leaving just exec <script> or @<script>. See fs for more information on file type associations.