gnome-terminal permite criar vários perfis. Em Editar- & gt ;, as Preferências criam quantas você quiser, possivelmente com esquemas de cores diferentes, fontes diferentes, etc. Clicar com o botão direito permite alternar o perfil a qualquer momento.