Skip to content
User Guide

Account → Shell Profiles

Shell profiles let you customize the appearance of your terminal sessions — font, color scheme, cursor style, and related preferences. You can maintain several profiles and pick a different profile per resource type, so that (for example) your Cisco sessions use a different look from your Linux sessions.

Page layout

The page is a two-column workspace:

  • Left column: the Profiles list at the top, and the Resource Type Mappings card at the bottom.
  • Right column: the editor for whichever profile you selected on the left, with a live terminal preview at the top. For your own profiles, Save (and Reset, once you have unsaved changes) sits at the top right; for the system profile it is replaced by Clone to customize.

What you can do

  • Create, rename, edit, and delete your own profiles.
  • Mark one of your profiles as your default with the star toggle.
  • Clone the system profile as a starting point for your own.
  • Map each resource type to a specific profile. Anything without an explicit mapping falls back to your default profile — or to the system profile if you have not set a default.

Profiles list (left top)

  • Click a profile to load it into the editor.
  • Click + (top right of the Profiles card) to create a new profile.
  • There is one system profile, Default Theme, marked with a gear icon and a System caption. It is read-only: its row has no action icons and its editor fields are disabled. Open it to preview, then click Clone to customize (top right of the page) to make your own editable copy.
  • Your own profiles carry three row icons:
    • Star — set (or unset) this profile as your default. Saves instantly.
    • Pencil — rename the profile inline. Press Enter (or the check icon) to save, Escape (or the cross icon) to cancel.
    • Trash — delete the profile (see below).

Editor (right column)

A live terminal preview at the top reflects every change as you make it. Below, the settings are grouped into cards:

  • Theme — a Preset dropdown (Catppuccin Mocha — the default, Solarized Dark, Solarized Light, Dracula, Nord, GitHub Dark), individual Background / Foreground / Cursor / Selection bg colors, and an expandable 16-color ANSI palette.
  • Font — family, size, line height, letter spacing, and weight. These apply to the web terminal only; the SSH terminal uses your own terminal program’s font (its colours, cursor and scrollback follow the profile).
  • Cursor — shape (block / underline / bar) and a Blink toggle.
  • Behavior — scrollback length (100–20 000 lines).

As soon as you edit any field, the header gains a Reset button (abandon changes) and enables Save. The Save button stays dimmed until there are unsaved changes.

Common tasks

Create a profile from scratch

  1. Click + at the top of the Profiles card.
  2. Enter a name in the Create shell profile dialog and click Create. The profile is created immediately with the system defaults.
  3. Tune its settings in the editor.
  4. Click Save.

Clone the system profile

  1. Select the Default Theme system profile.
  2. Click Clone to customize at the top of the page.
  3. Adjust the pre-filled name in the Clone shell profile dialog and click Clone.
  4. Tweak the settings and click Save.

(Only the system profile offers cloning. To base a new profile on one of your own, create a fresh profile and copy the settings you want by hand.)

Delete a profile

  1. Click the trash icon on the profile’s row.
  2. Confirm in the dialog.

The system profile cannot be deleted. Any resource type mapping that pointed at a deleted profile falls back to your default profile, or the system profile if you have no default.

Map a resource type to a profile

  1. In the Resource Type Mappings card on the bottom left, find the resource type row.
  2. Pick the profile from the dropdown. Your default profile is marked with a ★ and the system profile with a ⚙.
  3. A save icon appears in the card header once you have unsaved mapping changes — click it to apply them.

To remove a resource type’s explicit mapping, select the ⚙ system profile in its dropdown and save. The card’s caption tells you what unmapped types currently fall back to: your ★ default profile if you have one, otherwise the ⚙ system profile.

Using profiles in the SSH Text UI

The SSH Text UI uses the same resource type mappings and default profile as the browser. Session colours, selection colours and cursor preferences follow the profile, subject to your terminal program’s support. Fonts and spacing use your terminal program’s settings.

After saving a profile or mapping in the browser, press Ctrl-B, then r in the Text UI to apply colours and cursor preferences to open tabs. Their content and history remain intact. Scrollback changes apply to newly opened sessions; the Text UI caps history at 768 lines per tab with the default eight-tab limit, even when the profile requests more.

The Text UI’s surrounding interface has a separate light/dark setting: Ctrl-B, then uppercase T switches bars, borders, the tree and Session Assist without changing session colours. It starts dark on each SSH connection. These settings do not change the appearance of a direct SSH connection, which uses your terminal program’s own appearance settings.

Permissions

None — every user manages their own shell profiles.