Monodevelop Внешняя Консоль

Question 1

Ubuntu 12.04. Когда я запускаю MonoDevelop (IDE) с использованием встроенной оболочки Unity, внешняя консоль MonoDevelop, которая появляется во время отладки, представляет собой gnome-терминал.

Но если я использую другой оконный менеджер (например, i3wm), внешняя консоль MonoDevelop xterm.

Есть ли обходной путь, чтобы заставить IDE «думать», что она находится в среде GNOME, и заставить ее использовать gnome-терминал?

Question 2

Уже поздно, но та же проблема для меня с использованием awesomeWM. Я только что сделал символическую ссылку с именем xterm в /usr/bin, указывающую на /usr/bin/<TERMINALOFCHOICE> (urxvt в моем случае).

sudo ln -s /usr/bin/urxvt /usr/bin/xterm

Работает пока хорошо.

Question 3

Question 4

Из исходного кода monodevelop, мы можем обнаружить, что если переменная окружения GNOME_DESKTOP_SESSION_ID существует, будет использоваться gnome-terminal. Обладая этими знаниями, вы можете запускать monodevelop используя:

export GNOME_DESKTOP_SESSION_ID=1 && monodevelop

Question 5

Уже поздно, но та же проблема для меня с использованием awesomeWM. Я только что сделал символическую ссылку с именем xterm в /usr/bin, указывающую на /usr/bin/<TERMINALOFCHOICE> (urxvt в моем случае).

sudo ln -s /usr/bin/urxvt /usr/bin/xterm

Работает пока хорошо.

Question 6

Из исходного кода monodevelop, мы можем обнаружить, что если переменная окружения GNOME_DESKTOP_SESSION_ID существует, будет использоваться gnome-terminal. Обладая этими знаниями, вы можете запускать monodevelop используя:

export GNOME_DESKTOP_SESSION_ID=1 && monodevelop

Question 7

Question 8

Уже поздно, но та же проблема для меня с использованием awesomeWM. Я только что сделал символическую ссылку с именем xterm в /usr/bin, указывающую на /usr/bin/<TERMINALOFCHOICE> (urxvt в моем случае).

sudo ln -s /usr/bin/urxvt /usr/bin/xterm

Работает пока хорошо.

Question 9

Из исходного кода monodevelop, мы можем обнаружить, что если переменная окружения GNOME_DESKTOP_SESSION_ID существует, будет использоваться gnome-terminal. Обладая этими знаниями, вы можете запускать monodevelop используя:

export GNOME_DESKTOP_SESSION_ID=1 && monodevelop

Question 10

Уже поздно, но та же проблема для меня с использованием awesomeWM. Я только что сделал символическую ссылку с именем xterm в /usr/bin, указывающую на /usr/bin/<TERMINALOFCHOICE> (urxvt в моем случае).

sudo ln -s /usr/bin/urxvt /usr/bin/xterm

Работает пока хорошо.

Question 11

Из исходного кода monodevelop, мы можем обнаружить, что если переменная окружения GNOME_DESKTOP_SESSION_ID существует, будет использоваться gnome-terminal. Обладая этими знаниями, вы можете запускать monodevelop используя:

export GNOME_DESKTOP_SESSION_ID=1 && monodevelop

Question 12

Уже поздно, но та же проблема для меня с использованием awesomeWM. Я только что сделал символическую ссылку с именем xterm в /usr/bin, указывающую на /usr/bin/<TERMINALOFCHOICE> (urxvt в моем случае).

sudo ln -s /usr/bin/urxvt /usr/bin/xterm

Работает пока отлично.

Question 13

Question 14

Из исходного кода monodevelop, мы можем обнаружить, что если переменная окружения GNOME_DESKTOP_SESSION_ID существует, будет использоваться gnome-terminal. Обладая этими знаниями, вы можете запускать monodevelop используя:

export GNOME_DESKTOP_SESSION_ID=1 && monodevelop

Question 15

Уже поздно, но та же проблема для меня с использованием awesomeWM. Я только что сделал символическую ссылку с именем xterm в /usr/bin, указывающую на /usr/bin/<TERMINALOFCHOICE> (urxvt в моем случае).

sudo ln -s /usr/bin/urxvt /usr/bin/xterm

Работает пока хорошо.

Question 16

Из исходного кода monodevelop, мы можем обнаружить, что если переменная окружения GNOME_DESKTOP_SESSION_ID существует, будет использоваться gnome-terminal. Обладая этими знаниями, вы можете запускать monodevelop используя:

export GNOME_DESKTOP_SESSION_ID=1 && monodevelop

Question 17

Из исходного кода monodevelop, мы можем обнаружить, что если переменная окружения GNOME_DESKTOP_SESSION_ID существует, будет использоваться gnome-terminal. Обладая этими знаниями, вы можете запускать monodevelop используя:

export GNOME_DESKTOP_SESSION_ID=1 && monodevelop

Question 18

Уже поздно, но та же проблема для меня с использованием awesomeWM. Я только что сделал символическую ссылку с именем xterm в /usr/bin, указывающую на /usr/bin/<TERMINALOFCHOICE> (urxvt в моем случае).

sudo ln -s /usr/bin/urxvt /usr/bin/xterm

Работает пока отлично.

Question 19

Question 20

Уже поздно, но та же проблема для меня с использованием awesomeWM. Я только что сделал символическую ссылку с именем xterm в /usr/bin, указывающую на /usr/bin/<TERMINALOFCHOICE> (urxvt в моем случае).

sudo ln -s /usr/bin/urxvt /usr/bin/xterm

Работает пока отлично.

Question 21

Из исходного кода monodevelop, мы можем обнаружить, что если переменная окружения GNOME_DESKTOP_SESSION_ID существует, будет использоваться gnome-terminal. Обладая этими знаниями, вы можете запускать monodevelop используя:

export GNOME_DESKTOP_SESSION_ID=1 && monodevelop

Eric Carvalho · Answer 1 · 25 July 2018 в 18:17

Уже поздно, но та же проблема для меня с использованием awesomeWM. Я только что сделал символическую ссылку с именем xterm в /usr/bin, указывающую на /usr/bin/<TERMINALOFCHOICE> (urxvt в моем случае).

sudo ln -s /usr/bin/urxvt /usr/bin/xterm

Работает пока хорошо.

Ray · Answer 2 · 25 July 2018 в 18:17

Из исходного кода monodevelop, мы можем обнаружить, что если переменная окружения GNOME_DESKTOP_SESSION_ID существует, будет использоваться gnome-terminal. Обладая этими знаниями, вы можете запускать monodevelop используя:

export GNOME_DESKTOP_SESSION_ID=1 && monodevelop

Eric Carvalho · Answer 3 · 31 July 2018 в 13:18

Уже поздно, но та же проблема для меня с использованием awesomeWM. Я только что сделал символическую ссылку с именем xterm в /usr/bin, указывающую на /usr/bin/<TERMINALOFCHOICE> (urxvt в моем случае).

sudo ln -s /usr/bin/urxvt /usr/bin/xterm

Работает пока хорошо.

Ray · Answer 4 · 31 July 2018 в 13:18

Из исходного кода monodevelop, мы можем обнаружить, что если переменная окружения GNOME_DESKTOP_SESSION_ID существует, будет использоваться gnome-terminal. Обладая этими знаниями, вы можете запускать monodevelop используя:

export GNOME_DESKTOP_SESSION_ID=1 && monodevelop

Eric Carvalho · Answer 5 · 2 August 2018 в 00:30

Уже поздно, но та же проблема для меня с использованием awesomeWM. Я только что сделал символическую ссылку с именем xterm в /usr/bin, указывающую на /usr/bin/<TERMINALOFCHOICE> (urxvt в моем случае).

sudo ln -s /usr/bin/urxvt /usr/bin/xterm

Работает пока хорошо.

Ray · Answer 6 · 2 August 2018 в 00:30

Из исходного кода monodevelop, мы можем обнаружить, что если переменная окружения GNOME_DESKTOP_SESSION_ID существует, будет использоваться gnome-terminal. Обладая этими знаниями, вы можете запускать monodevelop используя:

export GNOME_DESKTOP_SESSION_ID=1 && monodevelop

Eric Carvalho · Answer 7 · 4 August 2018 в 15:59

Уже поздно, но та же проблема для меня с использованием awesomeWM. Я только что сделал символическую ссылку с именем xterm в /usr/bin, указывающую на /usr/bin/<TERMINALOFCHOICE> (urxvt в моем случае).

sudo ln -s /usr/bin/urxvt /usr/bin/xterm

Работает пока хорошо.

Ray · Answer 8 · 4 August 2018 в 15:59

Из исходного кода monodevelop, мы можем обнаружить, что если переменная окружения GNOME_DESKTOP_SESSION_ID существует, будет использоваться gnome-terminal. Обладая этими знаниями, вы можете запускать monodevelop используя:

export GNOME_DESKTOP_SESSION_ID=1 && monodevelop

Eric Carvalho · Answer 9 · 6 August 2018 в 00:37

Уже поздно, но та же проблема для меня с использованием awesomeWM. Я только что сделал символическую ссылку с именем xterm в /usr/bin, указывающую на /usr/bin/<TERMINALOFCHOICE> (urxvt в моем случае).

sudo ln -s /usr/bin/urxvt /usr/bin/xterm

Работает пока отлично.

Ray · Answer 10 · 6 August 2018 в 00:37

Из исходного кода monodevelop, мы можем обнаружить, что если переменная окружения GNOME_DESKTOP_SESSION_ID существует, будет использоваться gnome-terminal. Обладая этими знаниями, вы можете запускать monodevelop используя:

export GNOME_DESKTOP_SESSION_ID=1 && monodevelop

Eric Carvalho · Answer 11 · 7 August 2018 в 18:03

Уже поздно, но та же проблема для меня с использованием awesomeWM. Я только что сделал символическую ссылку с именем xterm в /usr/bin, указывающую на /usr/bin/<TERMINALOFCHOICE> (urxvt в моем случае).

sudo ln -s /usr/bin/urxvt /usr/bin/xterm

Работает пока хорошо.

Ray · Answer 12 · 7 August 2018 в 18:03

Из исходного кода monodevelop, мы можем обнаружить, что если переменная окружения GNOME_DESKTOP_SESSION_ID существует, будет использоваться gnome-terminal. Обладая этими знаниями, вы можете запускать monodevelop используя:

export GNOME_DESKTOP_SESSION_ID=1 && monodevelop

Ray · Answer 13 · 10 August 2018 в 06:51

Из исходного кода monodevelop, мы можем обнаружить, что если переменная окружения GNOME_DESKTOP_SESSION_ID существует, будет использоваться gnome-terminal. Обладая этими знаниями, вы можете запускать monodevelop используя:

export GNOME_DESKTOP_SESSION_ID=1 && monodevelop

Eric Carvalho · Answer 14 · 10 August 2018 в 06:51

Уже поздно, но та же проблема для меня с использованием awesomeWM. Я только что сделал символическую ссылку с именем xterm в /usr/bin, указывающую на /usr/bin/<TERMINALOFCHOICE> (urxvt в моем случае).

sudo ln -s /usr/bin/urxvt /usr/bin/xterm

Работает пока отлично.

Eric Carvalho · Answer 15 · 15 August 2018 в 18:47

Уже поздно, но та же проблема для меня с использованием awesomeWM. Я только что сделал символическую ссылку с именем xterm в /usr/bin, указывающую на /usr/bin/<TERMINALOFCHOICE> (urxvt в моем случае).

sudo ln -s /usr/bin/urxvt /usr/bin/xterm

Работает пока отлично.

Ray · Answer 16 · 15 August 2018 в 18:47

Из исходного кода monodevelop, мы можем обнаружить, что если переменная окружения GNOME_DESKTOP_SESSION_ID существует, будет использоваться gnome-terminal. Обладая этими знаниями, вы можете запускать monodevelop используя:

export GNOME_DESKTOP_SESSION_ID=1 && monodevelop

3

ответ дан Ray 15 August 2018 в 18:47

1

export GNOME_DESKTOP_SESSION_ID= && monodevelop помог мне. Вместо использования unset GNOME_DESKTOP_SESSION_ID каждый раз. – Tico 25 October 2014 в 05:00

Monodevelop Внешняя Консоль

16 ответов

Другие вопросы по тегам:

Похожие вопросы: