更改monodevelop默认终端

Question

我搜索如何更改控制台调试monodevelop中的默认终端（xterm），我想使用xfce4终端，就像我所有的archlinux一样。 我在monodevelop的选项中找不到此选项。

我尝试：

sudo ln -s /usr/bin/xfce4-terminal /usr/bin/xterm 

这样取出错误，但不开的xfce4终端与ctrl + F5

我没有发现任何与我的老朋友谷歌

我用的Archlinux与i3wm。

有人知道如何更改monodevelop中的默认终端吗？

Answer 1

终端类型是通过Linux/Gnome PlatformServices AddIn定义的。

所述的终端有：

• 侏儒末端
• 伴侣末端
• kconsole
• xterm的（这是回退）

如果xfce4-terminal是接口兼容与前3个之一一样，你可以通过设置其中一个环境变量来“破解”它，并且符号化xfc e4。该加载项将查找/bin，/usr/bin，& /usr/local/bin它，所以我会用/usr/local/bin DIR ....

或者写xfce4-terminal支持到GnomePlatform外接;-)并出具MonoDevelop的拉请求得到变成主线代码库。

参考文献：https://github.com/mono/monodevelop/blob/2945ef1e5db5acca77b48f10c9ce982273480c3b/main/src/addins/GnomePlatform/GnomePlatform.cs#L321