from
ARES System Manual: exec Shell
(input)
Executes the specified command <...>, substituting <pipe> as its input stream.
Shell built-in command: This command is part of the exec shell and does not have a corresponding system binary. To replace the input stream during an
(input)
@from <pipe> <...>
Executes the specified command <...>, substituting <pipe> as its input stream.
Shell built-in command: This command is part of the exec shell and does not have a corresponding system binary. To replace the input stream during an
invoke() system call, simply replace the third argument (ins).