SSH Terminal

Use this dialog to appoint a remote Web server or a Vagrant instance (virtual machine) 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 a Vagrant instance (virtual machine) 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. 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 a Vagrant instance (virtual machine) 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.
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: 17 June 2024