将我的 Ubuntu 升级到 14.04 版本后，我遇到了一个大问题。我是一名开发人员，我使用 Zend Studio 9 来开发我的 Web 应用程序。
当我启动 Zend Studio 9 时出现分段错误。
$ /home/mypc/Scrivania/ZendStudio
No bp log location saved, using default.
[000:000] Browser XEmbed support present: 1
[000:000] Browser toolkit is Gtk2.
[000:000] Using Gtk2 toolkit
No bp log location saved, using default.
[000:004] Warning(optionsfile.cc:47): Load: Could not open file, err=2
[000:004] No bp log location saved, using default.
[000:004] Browser XEmbed support present: 1
[000:004] Browser toolkit is Gtk2.
[000:004] Using Gtk2 toolkit
[000:000] Warning(optionsfile.cc:47): Load: Could not open file, err=2
[000:000] No bp log location saved, using default.
java version "1.7.0_65"
OpenJDK Runtime Environment (IcedTea 2.5.2) (7u65-2.5.2-3~14.04)
OpenJDK Server VM (build 24.65-b04, mixed mode)
Errore di segmentazione (core dump creato)
我该如何解决这个问题？我正在尝试调试转储日志，如果找到解决方案，我会在这里发布。
答案1
我找到解决办法了！
打开ZendStudio/configuration/config.ini文件并添加以下两行：
org.eclipse.swt.browser.UseWebKitGTK=False
org.eclipse.swt.browser.DefaultType=mozilla
现在 Zend Studio 运行正常。