ts-shell: terminal - display and set the default terminal ID

Runs within ts-shell on the terminal server to display and set the default terminal ID used for the connect command.

Format


connect syntax

>>-terminal--+----------------+--------------------------------><
             '- <terminal_id>-'

where:

<terminal_id>

is the default terminal ID to be set. If omitted, the current default terminal ID is displayed.

The terminal ID for an iucvtty instance is set in the start command for the instance.

Start of change For HVC terminal devices, the terminal IDs are lnxhvc<n>, where <n> is an integer in the range 0 - 7. If the trailing integer is omitted the default ID matches the next free HVC terminal device. End of change

Examples

To display the current terminal ID:
```
alice@ts-shell> terminal
lnxhvc0
```
To set lxterm1 as the default terminal ID:
```
alice@ts-shell> terminal lxterm1
```
To make the default ID match any free HVC terminal device:
```
alice@ts-shell> terminal lnxhvc
```