Não consigo encontrar uma maneira de remover um perfil de terminal do gnome quebrado que configurei da lista em Arquivo - > Abra o Terminal.
Como remover um deles da lista? Eu não posso mudar as configurações porque abre e fecha tão rápido. Terminal GNOME 3.18.3.
Você precisa instalar dconf-editor para editar / remover o perfil do terminal se não puder acessar o menu gnome-terminal .
sudo apt-get install dconf-editor
Abra dconf-editor e navegue para org > gnome > terminal > legacy > profiles . De lá você pode modificar o perfil.
Captura de tela realizada em 14.04 com gconf-editor
Execute gnome-terminal -- bash ou gnome-terminal -- zsh (o que não for um shell configurado incorretamente) ou gnome-terminal -- /bin/sleep 1000 ou algo semelhante para abrir o gnome-terminal caso, por padrão, ele feche muito rápido devido a um comando de inicialização interrompido. Então você pode abrir o Edit - > Preferências ou diálogo Preferências de perfil e corrija o problema.
Começando com o gnome-terminal 3.22 (Ubuntu Artful) você pode até usar o comando gnome-terminal --preferences para abrir a janela Preferences diretamente.