答案1
我们什么都没试过,我们都没有主意!我最终尝试遵循这里。我查了一下位置gnome-terminal-server
如下:
$ whereis gnome-terminal-server
gnome-terminal-server: /usr/libexec/gnome-terminal-server
然后我创建了 MonoDevelop 正在寻找终端服务器的目录。
$ sudo mkdir /usr/lib/gnome-terminal-server
然后我创建了一个符号链接,将 MonoDevelop 从该目录重定向到实际的二进制文件。
$ sudo ln -s /usr/libexec/gnome-terminal-server usr/lib/gnome-terminal/gnome-terminal-server
这招成功了!