No menu Terminal, dentro do terminal gnome, eu tenho a opção "Alterar Perfil". Para que serve? E por que é desativado?
O perfil é apenas um pré-ajuste de como sua sessão de terminal deve se comportar. Você pode criar um perfil para, digamos, ao trabalhar à noite, adicionando algumas cores diferentes na saída dos terminais, você pode usar fontes diferentes, se quiser, etc.
Para adicionar um pouco à resposta do @Salih Emin, se você ainda não criou pelo menos um segundo perfil, não há nada para mudar, então "Alterar perfil" está desativado.