ScreenTraceFile resource

Description
Defines the name of a file used for screen tracing.

If it is not defined, the file will be named  in the directory defined by the traceDir resource. (pid is the process ID of the emulator. suffix is an appropriate suffix for the file type.)