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 do RHEL 6. Eu 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; talvez você queira criar um perfil com a configuração desejada e usar a nova opção '--profile'.
Mas não posso saber uma marcação para este arquivo e possíveis opções. Não há uma página man para o gnome-terminal no RHEL 6. E não consigo encontrá-lo no site do GNOME link
Abra o terminal e vá para o menu de arquivos. 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 dentro da interface.
Tags gnome-terminal