Zend Studio 9 falha após atualização do Ubuntu 14.04 - falha de segmentação

Question

Eu tenho um grande problema depois de atualizar meu Ubuntu para a versão 14.04. Eu sou um desenvolvedor e uso o Zend Studio 9 para desenvolver meus aplicativos da Web.

Quando inicio o Zend Studio 9, recebo um erro de segmentação.

$ /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)

Como resolvo esse problema? Eu estou tentando depurar o log dump, e se eu encontrar uma solução vou postar aqui.

    

Answer 1

Eu encontrei uma solução!

Abra o arquivo ZendStudio/configuration/config.ini e adicione estas duas linhas:

org.eclipse.swt.browser.UseWebKitGTK=False
org.eclipse.swt.browser.DefaultType=mozilla

Agora o Zend Studio funciona bem.