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:

  1. Selecione Editar ▸ Preferências.

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

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

  4. Clique em Cirar para criar o novo perfil.

  5. 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:

  1. Selecione Editar ▸ Preferências.

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

  3. Clique na seta próxima ao nome de perfil.

  4. Selecione Clonar….

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

  6. Clique em Clonar para criar o novo perfil.

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

  1. Selecione Editar ▸ Preferências.

  2. 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:

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

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

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

  4. 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:

  1. Selecione Editar ▸ Preferências.

  2. Selecione o perfil que você deseja renomear.

  3. Clique na seta próxima ao nome de perfil.

  4. Selecione Renomear….

  5. Digite um novo nome de perfil.

  6. Clique em Renomear para renomear.

Excluindo um perfil

Para excluir um perfil:

  1. Selecione Editar ▸ Preferências.

  2. Selecione o perfil que você deseja excluir.

  3. Clique na seta próxima ao nome de perfil.

  4. Selecione Excluir….

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

  1. Selecione Editar ▸ Preferências.

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

  3. Clique na seta próxima ao nome de perfil.

  4. Selecione Definir como padrão.

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