Sindhu S
sindhus@live.in 2013
Ekaterina Gerasimova
kittykat3756@gmail.com 2013-2014
Michael Hill
mdhillca@gmail.com 2013
Crie, reorganize e exclua perfis.
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
Felipe Braga
fbobraga@gmail.com 2015

# Gerenciando perfis

Um perfil é um conjunto de configurações do Terminal. O Terminal suporta múltiplos perfis. Você pode configurar perfis do Terminal para executar um comando personalizado ou shell, definir um perfil exclusivamente para se conectar a computadores remotos usando SSH ou definir um perfil que inicia uma sessão do GNU Screen.

As configurações do Terminal incluem:

Nome do perfil.

Fonte e cores de frente e de fundo.

Compatibilidade com as teclas Backspace e Delete.

Rolagem.

O perfil padrão é carregado quando um novo terminal é aberto, a menos que você tenha selecionado outro perfil. Todas as alterações que você fizer nas configurações serão armazenadas no perfil atualmente usado.

# Definindo um perfil padrão

O perfil padrão é uma coleção de configurações aplicadas na abertura de cada janela ou aba do Terminal.

Selecione Editar Preferências Perfis.

Selecione o perfil a ser definido como padrão na lista Perfil utilizado quando iniciar um novo terminal.

# Selecionando um perfil

Você pode mudar o perfil da aba ou janela atual do Terminal, selecionando um perfil em TerminalAlterar perfil.

# Criando um novo perfil

Qualquer alteração num novo perfil é salva automaticamente. Para criar um novo perfil:

Selecione Arquivo Novo perfil.

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

Selecione a fonte, a forma do cursor e o tamanho da janela na aba Geral.

Defina suas preferências do comportamento do comando exit. Você também pode definir um shell personalizado na aba Comando.

Defina o tema e as cores preferidos na aba Cores.

Defina suas preferências de rolagem na aba Rolagem.

# Criando um novo perfil baseado em outro já existente

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

Selecione o perfil que você deseja editar em TerminalAlterar perfilnome do perfil onde nome do perfil é o nome do perfil que você deseja editar. Alternativamente, você pode selecionar ArquivoNovo perfil para clonar o perfil atualmente usado.

Defina suas preferências de perfil desejadas. Elas serão salvas automaticamente. Se você não atualizar o Nome do perfil, na aba Geral, o novo perfil não irá substituir o perfil em que ele se baseia.

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

Selecione Editar Preferências Perfis.

Selecione o perfil desejado.

Clique em Clonar.

Defina suas preferências de perfil desejadas. Elas serão salvas automaticamente. Se você não atualizar o nome do perfil, o novo perfil não irá substituir o perfil em que ele se baseia.

Criar um novo perfil de um perfil existente não afetará as configurações do perfil existente. Quaisquer alterações às definições serão armazenadas no novo perfil.

# Editando um perfil

Se o perfil padrão é editado, ele não pode ser restaurado para as configurações originais! Se você ainda não tiver criado nenhum outro perfil do Terminal e tiver personalizado o perfil padrão, o Terminal poderá ficar inutilizável se as configurações causarem problemas. É recomendável que você crie uma cópia do perfil padrão e edite a cópia para criar um perfil personalizado.

Você pode fazer alterações nos perfis existentes. Para editar um perfil, selecione Editar Preferências do perfil.

Selecione a fonte, a forma do cursor e o tamanho da janela do Terminal.

Você também pode definir as preferências do comportamento do Terminal no comando exit, definir um shell personalizado ou mudar as preferências da rolagem.

Para alterar as cores do fundo e do texto do Terminal, consulte a seção sobre esquemas de cores do Terminal.

Alterações no perfil são salvos imediatamente. Para retornar para o Terminal, clique em Fechar.

Para ter certeza de que você está editando o perfil correto, selecione o perfil do com TerminalAlterar perfil.

# Renomeando um perfil existente

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

Selecione Editar Preferências Perfis.

Selecione o perfil que você deseja renomear.

Clique em Editar. A janela de preferências do perfil será aberta para o perfil selecionado.

Na caixa de texto Nome do perfil, digite o novo nome do perfil.

Clique em Fechar para voltar.

# Excluindo um perfil

Para excluir um perfil:

Selecione Editar Preferências Perfis.

Selecione o perfil que você deseja excluir.

Clique em Excluir.