升级到 Ubuntu 15.04 后,我无法再从edit > profile preferences.
我尝试过但没有成功的事情:
使用切换到另一个配置文件
terminal > profile > Default
编辑默认配置文件,甚至编辑新创建的配置文件
edit > profiles
gconftool --recursive-unset /apps/gnome-terminal
使用和 重置 gnome-terminal 首选项rm -rf ~/.gconf/apps/gnome-terminal
我还监测
/var/log/syslog
了/var/log/dmesg
tail -f
非常欢迎并非常感谢任何帮助,谢谢!
答案1
我想到了!
事实证明,即使运行了apt-get upgrade
几次,我的 gnome-terminal 也已经过时了。我通过运行发现了这一点apt search gnome-terminal
,它给出了以下输出:
$ 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
所以我跟着apt-get install gnome-terminal
它并更新了它的依赖项。我还有许多过时的软件包,我希望能够找出那些,因为简单的方法apt-get upgrade
在那里没有帮助。