exec -- execute another program
Description
exec argv uses the 'exec' operating system call to start up another program, replacing the current Macaulay2 process. Here argv is a string, or a sequence or list of strings to be passed as arguments to the new process. The first string is the name of the executable file.
The source of this document is in Macaulay2Doc/ov_system.m2:728:0.