Criar e gerir perfis do Terminal
Um perfil é uma coleção de definições de estilos e ações para uma janela do Terminal. Num perfil é possível guardar, entre outras, as definições de cor de fundo, tipo de letra e estilo do cursor.
O Terminal inclui um conjunto de perfis predefinidos, mas também pode criar os seus próprios perfis personalizados.
Criar um novo perfil
Selecione Terminal > Preferências e, em seguida, clique em Perfis.
Clique no botão Adicionar por baixo da lista de perfis.
Digite um nome para o novo perfil.
Escolha as definições do novo perfil.
Modificar um perfil
Selecione Terminal > Preferências e, em seguida, clique em Perfis.
Selecione o perfil que pretende modificar.
Faça as alterações pretendidas.
Alterar o nome de um perfil
Selecione Terminal > Preferências e, em seguida, clique em Perfis.
Faça duplo clique no perfil cujo nome pretende alterar.
Digite um nome novo e prima a tecla Return.
Copiar um perfil
Selecione Terminal > Preferências e, em seguida, clique em Perfis.
Selecione o perfil que pretende copiar.
Clique no menu pop-up Ação e selecione “Duplicar perfil”.
Digite um nome para o perfil copiado e, em seguida, prima a tecla Return.
Remover um perfil
Selecione Terminal > Preferências e, em seguida, clique em Perfis.
Selecione o perfil que pretende remover.
Clique no botão Remover por baixo da lista de perfis.
Restaurar os perfis predefinidos
Caso tenha removido ou alterado algum dos perfis predefinidos do Terminal, pode voltar a adicioná‑los à lista de perfis com as respetivas definições originais. Só é possível restaurar o conjunto completo de perfis predefinidos, ou seja, os perfis não podem ser restaurados individualmente.
Se tiver personalizado um dos perfis predefinidos e quiser guardar as personalizações, terá de alterar o nome do perfil antes de restaurar os perfis predefinidos. A operação de restauro substitui as definições de cada um dos perfis predefinidos.
Selecione Terminal > Preferências e, em seguida, clique em Perfis.
Clique no menu pop-up Ação e selecione “Restaurar perfis predefinidos”.