Modifica dell'emulatore di terminale predefinito

L'emulatore di terminale predefinito per le azioni è dtterm. È tuttavia possibile impostare un diverso emulatore di terminale da usare quando l'azione non specifica l'emulatore richiesto in modo esplicito.

La riga di comando dell'emulatore di terminale usato dalle azioni deve comprendere le seguenti opzioni:

• -title titolo_finestra

• -e comando

  L'emulatore di terminale predefinito per le azioni viene determinato da due risorse:

• La risorsa localTerminal specifica l'emulatore di terminale usato dalle applicazioni locali.

  	*localTerminal:		terminale
  

  Ad esempio:

  	*localTerminal:				xterm

• La risorsa remoteTerminal specifica l'emulatore di terminale usato dalle applicazioni remote.

  	*remoteTerminal:		host:terminale [,host:terminale...]

  Ad esempio:

  	*remoteTerminal:		sysibm1:/usr/bin/xterm,syshp2:/usr/bin/yterm