Manage Profiles

The Manage Profiles window is used to create, edit, rename, delete, and otherwise manage profiles. To access this window, use Settings→Manage Profiles.

Picture of Manage Profiles window.

Example Manage Profiles window.

The window has the following elements:


The name of each profile. There are some limitations on names, for example, names must start with an alphanumeric character. Invalid names will be flagged when creating a new profile. A profile named "Default" must exist at all times.

If the profile has a FixedThumbnailIcon, it will be displayed with the name.

The profile to use as the global default profile. Normally this is the profile named "Default" but this is not required. Note that each server has its own default profile which may or may not defer to the global default.
Profiles marked as favorite will be displayed at the top of profile selection menus.
The name of the keymap assigned to each profile in its Keymap setting.
Open Terminals
The number of open terminals using each profile.
New Profile
Creates a new profile from scratch and opens it in a settings editor dialog. It will be initialized using the compiled-in default settings.
Clone Profile
Makes a copy of the selected profile and opens it in a settings editor dialog.
Delete Profile
Deletes the selected profile. Any terminals using it will be reassigned to the global default profile.
Rename Profile
Renames the selected profile.
Edit Profile
Opens the selected profile in a settings editor dialog, as EditProfile does.
Reload Files
Scans for new profile settings files and for changes to existing files.