Ok, então encontrei o arquivo que contém as preferências do terminal gnome.
Eles estão localizados em um arquivo (o que parece XML) em:
/usr/share/gnome-terminal/profile-preferences.ui
Como não consegui descobrir como atualizar esse arquivo por meio de qualquer um dos gerenciadores de configurações. Eu fui manual. Você pode salvar este arquivo e copiar o padrão em uma nova instalação e nunca mais precisar clicar na GUI novamente.
Nota interessante, há também um arquivo na pasta chamada terminal.xml
, que parece conter os itens de menu, com suas ações associadas. Além disso, existe um arquivo chamado keybinding-editor.ui
, que parece conter as combinações de teclas do terminal. Definitivamente vou tentar modificar algumas opções. Talvez uma única linha de opções em ALT+(some number)
, para que você não precise desativar o acesso ao menu para usar os atalhos de teclado.
Se eu acabar tendo tempo para adicionar as preferências do terminal ao dconf / gsettings, eu irei acompanhar com um link para o script.