0

After upgrading to Ubuntu 15.04, I can no longer access gnome-terminal preferences from edit > profile preferences.

Things I have tried to no avail:

  • Switching to another profile using terminal > profile > Default

  • Editing the default profile and even editing a newly created one in edit > profiles

  • Resetting gnome-terminal preferences using gconftool --recursive-unset /apps/gnome-terminal and rm -rf ~/.gconf/apps/gnome-terminal

  • I have also monitored /var/log/syslog and /var/log/dmesg with tail -f

Any help is greatly welcome and very appreciated, thank you!

1

I figured it out!

It turns out my gnome-terminal was somehow outdated, even after running apt-get upgrade several times. I found this out by running apt search gnome-terminal, which gave me the following output:

$ 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

So I followed with apt-get install gnome-terminal which also updated its dependencies. I also still have a lot of outdated packages, I hope I'll be able to figure those ones out as a simple apt-get upgrade does not help there.

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.