exec -- execute another program

Synopsis

• Usage:

  exec argv

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.