Copyright Digital Equipment Corp. All rights reserved.

TERMINAL

   TERMINAL=(device-name,...)

   Specifies the name of the terminal to be used when selecting
   event records. You can represent all or part of the terminal name
   with a wildcard.