Sindhu S
sindhus@live.in 2013
Ekaterina Gerasimova
kittykat3756@gmail.com 2013-2014
Michael Hill
mdhillca@gmail.com 2013
Crie, nomeie 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
Isaac Ferreira Filho
isaacmob@riseup.net 2018
Rafael Fontenelle
rafaelff@gnome.org 2013, 2019

# 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.

# Selecionando um perfil

Se você tem dois ou mais perfis definidos, você pode mudar o perfil da aba ou janela atual do Terminal, selecionando um perfil em Terminal Alterar perfil.

# Criando um novo perfil

Para criar um novo perfil com as configurações do Terminal:

Selecione Editar Preferências.

Na barra lateral, clique no botão + próximo ao rótulo Perfis.

Digite um nome para o novo perfil. Você pode alterar esse nome posteriormente.

Clique em Cirar para criar o novo perfil.

Defina suas preferências de perfil desejadas. Elas serão salvas automaticamente.

# Criando um novo perfil baseado em outro já existente

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

Selecione Editar Preferências.

Na barra lateral, selecione o perfil no qual seu novo perfil deve ser baseado.

Clique na seta próxima ao nome de perfil.

Selecione Clonar….

Digite um nome para o novo perfil. Você pode alterar esse nome posteriormente.

Clique em Clonar para criar o novo perfil.

Defina suas preferências de perfil desejadas. Elas serão salvas automaticamente.

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 a perfis existentes. Para editar um perfil:

Selecione Editar Preferências.

O seu perfil atual é selecionado na barra lateral. Se você deseja editar um diferente perfil, clique em seu nome.

Uma vez que o perfil desejado é selecionado, você pode:

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.

# Renomeando um perfil existente

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

Selecione Editar Preferências.

Selecione o perfil que você deseja renomear.

Clique na seta próxima ao nome de perfil.

Selecione Renomear….

Digite um novo nome de perfil.

Clique em Renomear para renomear.

# Excluindo um perfil

Para excluir um perfil:

Selecione Editar Preferências.

Selecione o perfil que você deseja excluir.

Clique na seta próxima ao nome de perfil.

Selecione Excluir….

Clique em Excluir para confirmar.

O perfil padrão não pode ser excluído. Se você deseja excluir esse perfil, primeiro configure outro perfil como default.

# Definindo um perfil padrão

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 selecionado.

O perfil padrão é usado quando o Terminal não pode decidir o perfil a ser usado. Por exemplo, Terminal é iniciado recentemente e abre sua primeira janela de terminal. Em contraste, quando você usa uma entrada de menu ou atalho de teclado de Terminal para abrir um novo terminal, o perfil do terminal existente é usado.

Selecione Editar Preferências.

Selecione o perfil que você deseja definir como o padrão.

Clique na seta próxima ao nome de perfil.

Selecione Definir como padrão.

O perfil padrão é marcado com um símbolo de marcado.