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.