Não é possível abrir a janela de preferências do gnome-terminal

Question

Após a atualização para o Ubuntu 15.04, não consigo mais acessar as preferências do terminal gnome em edit > profile preferences.

Coisas que tentei inutilmente:

• Mudar para outro perfil usando terminal > profile > Default

• Editando o perfil padrão e até editando um recém criado em edit > profiles

• Redefinindo as preferências do terminal gnome usando gconftool --recursive-unset /apps/gnome-terminal e rm -rf ~/.gconf/apps/gnome-terminal

• Também monitorizei /var/log/syslog e /var/log/dmesg com tail -f

Qualquer ajuda é muito bem vinda e muito apreciada, obrigado!

    

Answer 1

Eu descobri!

Acontece que meu terminal gnome estava desatualizado, mesmo depois de executar apt-get upgrade várias vezes. Descobri isso executando apt search gnome-terminal , o que me deu a seguinte saída:

$ apt search gnome-terminal Sorting... Done Full Text Search... Done gnome-terminal/vivid 3.14.2-0ubuntu3 amd64 [upgradable from: 3.6.2-0ubuntu1] GNOME terminal emulator application

Então eu segui com apt-get install gnome-terminal , que também atualizou suas dependências. Eu também ainda tenho um monte de pacotes desatualizados, espero que eu seja capaz de descobrir aqueles como um simples apt-get upgrade não ajuda lá.