SSH Terminal

Use this dialog to appoint a remote Web server or the default remote interpreter to access through the SSH terminal, configure connection with the destination environment, and choose the encoding to use in the SSH terminal.

Use this dialog to configure the SSH terminal.

Item	Description
Connection settings	In this section, appoint a remote Web server or the default remote interpreter to access through the SSH terminal and specify where the connection settings should be taken from: Current Vagrant: select this option to have the commands in the SSH Terminal executed on the currently running Vagrant virtual machine. Default remote interpreter: select this option to have commands in the SSH terminal executed on the same host, where the default remote interpreter runs. SSH configuration: select this option to have the commands in the SSH Terminal executed on the local or remote Web server accessible through one of the SSH configurations. Select SSH configuration on every run: if this option is selected, you will have to choose the desired configuration from the popup, every time you choose Tools \| Start SSH Session from the main menu. If the desired SSH configuration does not appear in the list, click the Set up configurations link, and define one in the SSH Configurations page.
Default encoding	From this list, select the desired encoding to be used in the SSH terminal.

Item

Description

Connection settings

In this section, appoint a remote Web server or the default remote interpreter to access through the SSH terminal and specify where the connection settings should be taken from:

Current Vagrant: select this option to have the commands in the SSH Terminal executed on the currently running Vagrant virtual machine.
Default remote interpreter: select this option to have commands in the SSH terminal executed on the same host, where the default remote interpreter runs.
SSH configuration: select this option to have the commands in the SSH Terminal executed on the local or remote Web server accessible through one of the SSH configurations.
- Select SSH configuration on every run: if this option is selected, you will have to choose the desired configuration from the popup, every time you choose Tools | Start SSH Session from the main menu.
- If the desired SSH configuration does not appear in the list, click the Set up configurations link, and define one in the SSH Configurations page.

Default encoding

From this list, select the desired encoding to be used in the SSH terminal.

Last modified: 11 February 2024