更改monodevelop默认终端

本文关键字：终端 默认 monodevelop 更改 | 更新日期: 2023-09-27 18:05:02

我搜索如何更改monodevelop中用于控制台调试的默认终端(xterm)，我想使用xfce4-terminal，就像我所有的archlinux一样。我在monodevelop的选项中找不到这个选项。

I try:

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

这删除了错误，但不能打开xfce4-terminal与ctrl + F5

我找不到我的老朋友Google

我使用Archlinux与i3wm。

有人知道如何改变monodevelop的默认终端吗?

更改monodevelop默认终端

终端类型由Linux/Gnome PlatformServices插件定义。

定义的终端有:

  • gnome终端
  • mate-terminal
  • kconsole
  • xterm(这是回退)

如果xfce4-terminal与前3个接口之一兼容，您可以通过设置其中一个的环境变量并将xfce4与它进行符号链接来"破解"它。插件将查看/bin, /usr/bin， &/usr/local/bin，所以我将使用/usr/local/bin目录....

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

裁判:https://github.com/mono/monodevelop/blob/2945ef1e5db5acca77b48f10c9ce982273480c3b/main/src/addins/GnomePlatform/GnomePlatform.cs L321

相关文章：