Sindhu S
sindhus@live.in 2013
Ekaterina Gerasimova
kittykat3756@gmail.com 2013-2014
Michael Hill
mdhillca@gmail.com 2013
Create, edit and delete profiles.
Fran Dieguez
frandieguez@gnome.org 2013.
Leandro Regueiro
leandro.regueiro@gmail.com 2011.

# Manage profiles

A profile is a collection of Terminal settings. Terminal supports multiple profiles. You can configure Terminal profiles to run a custom command or shell, set a profile exclusively to connect to remote computers using SSH or set a profile that launches a GNU Screen session.

The available Terminal settings include:

Profile name.

Font and background colors.

Compatibility with Backspace and Delete keys.

Scrolling.

The default profile is loaded when a new terminal is opened unless you have selected another profile. Any changes that you make to the settings will be stored in the currently used profile.

# Set a default profile

The default profile is a collection of profile settings applied on the launch of every Terminal tab or window.

Select Edit Preferences Profiles.

Select the profile to be set as default from the Profile used when launching a new terminal drop down list.

# Select a profile

You can change the profile in your current Terminal tab or window by selecting a profile from Terminal Change Profile.

# Create a new profile

Any changes to a new profile are saved automatically. To create a new profile:

Select File New Profile.

Enter a name for the new profile next to Profile name.

Select font, cursor shape and window size in the General tab.

Set your preferred behavior for the exit command. You can also set a custom shell in the Command tab.

Set your preferred theme and colors in the Colors tab.

Set your scrolling preference in the Scrolling tab.

# Create a new profile based on an existing profile

You can create a new profile based on settings from an existing profile:

Select the profile that you wish to edit from Terminal Change Profile Profile name where Profile name is the name of the profile that you wish to edit. Alternatively, you can select File New Profile to clone the profile that you are currently using.

Set your desired profile preferences. These will be saved automatically. If you do not update the Profile name on the tab General , the new profile will not overwrite the profile that it is based on.

Alternatively, you can create a copy of the existing profile first and then edit the profile:

Select Edit Preferences Profiles.

Select your desired profile.

Click Clone.

Set your desired profile preferences. These will be saved automatically. If you do not update the profile name, the new profile will not overwrite the profile that it is based on.

Creating a new profile from an existing profile will not affect settings in an existing profile. Any changes to settings will be stored in the new profile.

# Edit a profile

If the default profile is edited, it cannot be restored to its original settings! If you have not already created any other Terminal profiles and have customized the default profile, Terminal may become unusable should any settings cause problems. It is recommended that you create a copy of the default profile then edit the copy to create a custom profile.

You can make changes to existing profiles. To edit a profile, select Edit Profile Preferences.

Select font, cursor shapes and Terminal size.

You may also change behavior of Terminal on command exit, set a custom login shell or change scrollbar preferences.

To change the Terminal background and text colors, see Terminal color schemes.

Changes to profile are saved immediately. To return to Terminal, click Close.

To make sure you are editing the desired profile, select the profile from Terminal Change Profile.

# Rename an existing profile

You can rename existing profiles, including the default profile:

Select Edit Preferences Profiles.

Select the profile you wish to rename.

Click Edit. This will open the profile preferences dialog for the selected profile.

In the text box for Profile name, type the new profile name.

Click Close to return.

# Delete a Profile

Para eliminar un perfil:

Select Edit Preferences Profiles.

Select the profile you wish to delete.

Click Delete.