这是sqldeveloper 的一个bug
解决方法:
sudo gedit /opt/developer/developer.sh
修改文件内容如下:
#!/bin/bash
# 加入下面的命令
unset -v GNOME_DESKTOP_SESSION_ID
cd "`dirname $0`"/sqldeveloper/bin && bash sqldeveloper $*
这是sqldeveloper 的一个bug
解决方法:
sudo gedit /opt/developer/developer.sh
#!/bin/bash
# 加入下面的命令
unset -v GNOME_DESKTOP_SESSION_ID
cd "`dirname $0`"/sqldeveloper/bin && bash sqldeveloper $*