更改monodevelop默认终端
问题描述:
我搜索如何更改控制台调试monodevelop中的默认终端(xterm),我想使用xfce4终端,就像我所有的archlinux一样。 我在monodevelop的选项中找不到此选项。更改monodevelop默认终端
我尝试:
sudo ln -s /usr/bin/xfce4-terminal /usr/bin/xterm
这样取出错误,但不开的xfce4终端与ctrl
+ F5
我没有发现任何与我的老朋友谷歌
我用的Archlinux与i3wm。
有人知道如何更改monodevelop中的默认终端吗?
答
终端类型是通过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的拉请求得到变成主线代码库。