更改 monodevelop 默认终端
Change monodevelop default terminal
我搜索如何在 monodevelop 中更改默认终端 (xterm) 以进行控制台调试，我想使用 xfce4-terminal，就像我所有的 archlinux 一样。
我在monodevelop的选项里找不到这个选项。
我试试 :
sudo ln -s /usr/bin/xfce4-terminal /usr/bin/xterm
这消除了错误，但不要使用 ctrl+F5
打开 xfce4-terminal
我和老朋友什么都没找到Google
我使用 Archlinux 和 i3wm。
有人知道如何更改 monodevelop 中的默认终端吗？
终端类型是通过 Linux/Gnome PlatformServices 加载项定义的。
定义的终端是：
- gnome 终端
- 伴侣终端
- kconsole
- xterm（这是回退）
如果 xfce4-terminal 与前 3 个之一的接口兼容，您可以 "hack" 通过设置其中一个的环境变量并将 xfce4 符号链接到它来 "hack" 它。 Addin 会在 /bin、/usr/bin 和 /usr/local/bin 中寻找它，所以我会使用 /usr/local/bin 目录....
或者将 xfce4-terminal 支持写入 GnomePlatform 插件 ;-) 并发出 MonoDevelop 拉取请求以将更改添加到主线代码库中。
我搜索如何在 monodevelop 中更改默认终端 (xterm) 以进行控制台调试，我想使用 xfce4-terminal，就像我所有的 archlinux 一样。 我在monodevelop的选项里找不到这个选项。
我试试 :
sudo ln -s /usr/bin/xfce4-terminal /usr/bin/xterm
这消除了错误，但不要使用 ctrl+F5
我和老朋友什么都没找到Google
我使用 Archlinux 和 i3wm。
有人知道如何更改 monodevelop 中的默认终端吗？
终端类型是通过 Linux/Gnome PlatformServices 加载项定义的。
定义的终端是：
- gnome 终端
- 伴侣终端
- kconsole
- xterm（这是回退）
如果 xfce4-terminal 与前 3 个之一的接口兼容，您可以 "hack" 通过设置其中一个的环境变量并将 xfce4 符号链接到它来 "hack" 它。 Addin 会在 /bin、/usr/bin 和 /usr/local/bin 中寻找它，所以我会使用 /usr/local/bin 目录....
或者将 xfce4-terminal 支持写入 GnomePlatform 插件 ;-) 并发出 MonoDevelop 拉取请求以将更改添加到主线代码库中。