monodevelopデフォルトターミナルを変更する

Question

私はコンソールデバッグのためにmonodevelopのデフォルトターミナル（xterm）を変更する方法を探します。私のarchlinux doと同じようにxfce4-terminalを使います。 monodevelopのオプションでこのオプションが見つかりません。

私が試してみてください。

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

これは、エラーを取り除いたがctrl + F5

でオープンXFCE4末端ない私は私がArchlinuxを使用する私の古い友人と何もグーグル

を認めませんでしたi3wm。

誰かがmonodevelopでデフォルト端末を変更する方法を知っていますか？

Answer 1

端末タイプは、Linux/Gnome PlatformServices AddInで定義されています。定義

端子である：

• GNOME末端
• メイト末端
• kconsole
• のxterm（これはフォールバックである）

xfce4-terminalがインターフェース互換性がある場合最初の3つのうちの1つを使って、それらの環境変数を設定し、xfcのシンボリックリンクを設定することで "ハック"できますそれにe4。アドインは、それのため/bin、/usr/bin、& /usr/local/binになりますので、私は/usr/local/bin DIR ....

を使用するか、GnomePlatformアドイン;-)へxfce4-terminalサポートを書いてもらうためにMonoDevelopのプルリクエストを発行しますメインラインのコードベースに変更されます。

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