GAP Manual: 3.22. Exec

Exec( command )

Exec executes the command given by the string command in the operating system. How this happens is operating system dependent. Under UNIX, for example, a new shell is started and command is passed as a command to this shell.

    gap> Exec( "date" );
    Fri Dec 13 17:00:29 MET 1991 

Edit (see Edit) should be used to call an editor from within GAP.


[next] [prev] [up]