Terminal

Create server specific profiles

You can create a profile in Terminal that is specific to a server. A good use case example is Linux servers you frequently SSH into. These can be setup a profiles and then access from Terminal by using the drop-down and selecting the profile. You can inject the SSH command into the profile so when executed it prompts for a password or connects with the key depending on what you have configured.

To create the profile you need to edit the settings JSON file. To access this from within Terminal press ctrl-shift-p to open the command palette. Then type settings and select Open settings file (JSON). The file will open in your preferred JSON editor.

Within the JSON file locate the profiles section. It will have a bunch of profiles already listed. Add yours to the end. The exampke below will create a new profile called linuxserver00 and execute the ssh command ssh webadmin@192.168.1.10 when the profile executes which will make the connection to the target IP.

{
  "guid": "{4ff91c23-ca5d-4a9e-b33e-e6f547bd8075}",
  "hidden": false,
  "name": "linuxserver00",
  "commandline": "ssh webadmin@192.168.1.10",
  "tabTitle": "linuxserver00"
}

To generate the guid value open a PowerShell shell and run the command below. This will generate a value you can use. You need a GUID per profile so create a new one each time.

PS ~> [guid]::NewGuid()

Guid
----
4ff91c23-ca5d-4a9e-b33e-e6f547bd8075

Make sure you check your JSON formatting and include the commas!