更改monodevelop默认终端

Question

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

我试试：

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

这消除了错误，但未使用ctrl + F5

打开xfce4-terminal

我和我的老朋友谷歌没有找到任何关系

我将Archlinux与i3wm一起使用。

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

Answer 1

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

定义的

定义的终端是：

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

如果xfce4-terminal与前3个中的一个接口兼容，则可以通过设置其中一个的环境变量并将xmlce4符号化来“破解”它。 Addin会查看/bin，/usr/bin和＆amp; /usr/local/bin为此，我会使用/usr/local/bin目录....

或者将xfce4-terminal支持写入GnomePlatform Addin ;-)并发出MonoDevelop pull-request以将更改纳入主线代码库。

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