Sindhu S
sindhus@live.in 2013
Ekaterina Gerasimova
kittykat3756@gmail.com 2013-2014
Michael Hill
mdhillca@gmail.com 2013
Create, edit and delete profiles.
Luciana Bastos de Freitas Menezes
lubfm@gnome.org 2007.
Pedro Vaz de Mello de Medeiros
pedrovmm@gmail.com 2007.
Leonardo Ferreira Fontenelle
leonardof@gnome.org 2008.
Andrius da Costa Ribas
andriusmao@gmail.com 2008.
Enrico Nicoletto
liverig@gmail.com 2009, 2013.

# Gerenciando perfis

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:

Nome do perfil.

Font and background colors.

Compatibility with Backspace and Delete keys.

Barra de rolagem.

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.

# Definindo um perfil padrão

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.

# Selecionando um perfil

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

# Criando um novo perfil

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

Selecione Arquivo Novo perfil.

Digite um nome para o novo perfil na caixa de texto Nome do perfil.

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.

# Crindo um novo perfil baseado em outro já existente

Você pode criar um perfil baseado nas configurações de um perfil existente:

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.

Alternativamente, você pode primeiro criar uma cópia do perfil existente e depois editá-lo:

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.

# Editando um perfil

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

Você pode renomear perfis existentes, incluindo o perfil padrão:

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.

Clique em Fechar para voltar.

# Excluindo um perfil

Para excluir um perfil:

Select Edit Preferences Profiles.

Select the profile you wish to delete.

Clique em Excluir.