1 02/10/88  print_terminal_types, ptt
 2 
 3 Syntax as a command:  ptt {terminal_type_name} {-control_arg}
 4 
 5 
 6 Function:  Displays the names of all currently-defined terminal types
 7    matching the given terminal type name which may be a starname.  If
 8    no name is given, all names will be displayed.
 9 
10 
11 Arguments:
12 terminal_type_name
13    name of a specific terminal type.  This may be a starname.  If
14    omitted, all terminal type names will be printed.
15 
16 
17 Control arguments:
18 -pathname NAME, -pn NAME
19    is the pathname of the terminal type table (TTT) to be
20    used to find the names of the defined terminal types.
21    If it is omitted, the current default TTT is used (as set by
22    set_ttt_path).