Crie e gerencie perfis do Terminal
Um perfil é uma coleção de ajustes de estilo e comportamento de uma janela do Terminal. Os ajustes que podem ser armazenados em um perfil incluem: cor de fundo, fonte, estilo do cursor e outros.
O Terminal vem com um conjunto de perfis predefinidos chamados de perfis padrão e você também pode criar os seus próprios perfis personalizados.
Crie um novo perfil
Escolha Terminal > Preferências e clique em Perfis.
Clique no botão Adicionar abaixo da lista de perfis.
Digite um nome para o novo perfil.
Escolha os ajustes do novo perfil.
Modifique um perfil
Escolha Terminal > Preferências e clique em Perfis.
Selecione o perfil que deseja modificar.
Altere os ajustes do perfil.
Renomeie um perfil
Escolha Terminal > Preferências e clique em Perfis.
Clique duas vezes no nome do perfil que deseja renomear.
Digite um novo nome e pressione Retorno.
Copie um perfil
Escolha Terminal > Preferências e clique em Perfis.
Selecione o perfil que deseja copiar.
Clique no menu local Ação e escolha Duplicar Perfil.
Digite um nome para o perfil copiado e pressione Retorno.
Remova um perfil
Escolha Terminal > Preferências e clique em Perfis.
Selecione o perfil que deseja remover.
Clique no botão Remover abaixo da lista de perfis.
Restaure os perfis padrão
Caso tenha removido ou alterado um dos perfis padrão fornecidos pelo Terminal, você pode readicioná-los à lista de perfil com seus ajustes originais. Só é possível restaurar todo o conjunto de perfis padrão (isto é, não é possível restaurar nenhum dos perfis padrão individualmente).
Caso tenha personalizado um dos perfis padrão e deseje salvar a personalização, você deve renomeá-lo antes de restaurar os perfis padrão. A operação de restauração substitui os ajustes de cada um dos perfis padrão.
Escolha Terminal > Preferências e clique em Perfis.
Clique no menu local Ação e escolha “Restaurar Perfis Padrão”.