Alguém sabe quais opções são possíveis em um arquivo de configuração para o aplicativo gnome-terminal?
Eu uso a versão 2.31.3 do gnome-terminal que faz parte da distribuição RHEL 6. Tentei iniciar o gnome-terminal com a opção --background, mas a seguinte saída apareceu: A opção "--background" não é mais suportada nesta versão do gnome-terminal; você pode querer criar um perfil com a configuração desejada e usar a nova opção '--profile'.
Mas não consigo saber uma marcação para este arquivo e possíveis opções. Não há página de manual para gnome-terminal no RHEL 6. E não consigo encontrá-lo no site do GNOMEhttp://help.gnome.org/users/gnome-terminal/stable/index.html.en
Responder1
Abra o terminal e vá para o menu arquivo. Deve haver uma opção chamada “Perfis” em um dos menus.
Você pode alterar todos os tipos de configurações, incluindo cores e fontes de fundo/primeiro plano. Você também pode criar novos perfis e armazenar qualquer número de configurações diferentes na interface.