# Logging a Session

## `SetLogFile(F): MonStgElt`

```magma
Overwrite: BoolElt                    Default: false
```

Set the log file to be the file specified by the string $F$: all input and output will be sent to this log file as well as to the terminal. If a log file is already in use, it is closed and $F$ is used instead. By using `SetLogFile(F: Overwrite := true)` the file $F$ is emptied before input and output are written onto it. See also `HasOutputFile`.

## `UnsetLogFile()`

Stop logging Magma’s output.

## `SetEchoInput(b): BoolElt`

Send input from external files to standard output if $b$ is `true`. If $b$ is `false` then input from external files will not appear in standard output.