Извините, я установил mono-develop
, и это дало мне IDE. Следующие установки не установят IDE:
apt-get install mono-devel
Или
apt-get install mono-complete
Или
apt-get install mono-runtime
apt-get install libmono-SYSTEM*
Я думаю, что mono-develop
и mono-devel
, где то же самое, и предполагаю, что моно-полный - это все, включая IDE.