jump
ARES System Manual: exec Shell
(exec script)
If inside a script (see do), looks for a line
The label destination must start with an @ sign and end in a colon.
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
(exec script)
jump <label>
If inside a script (see do), looks for a line
@<label>:
and moves execution to the line after it.
The label destination must start with an @ sign and end in a colon.
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.