Answers:
首先通过软件中心卸载当前版本的mono development,然后从终端运行以下命令:
sudo apt-get install build-essential automake checkinstall intltool git
sudo apt-get install mono-complete mono-addins-utils gtk-sharp2 gnome-sharp2
git clone git://github.com/mono/monodevelop
cd monodevelop
git checkout monodevelop-4.0
git submodule update --init --recursive
./configure
make
sudo checkinstall
首先卸载当前版本
sudo add-apt-repository ppa:keks9n/monodevelop-latest
sudo apt-get update
sudo apt-get install monodevelop-latest
从终端运行:
monodevelop
monodevelop
并按Enter键没有启动它吗?
Metadata file '/usr/local/lib/mono/monodoc/monodoc.dll' could not be found
来自第一个答案的ppa
ppa:keks9n/monodevelop-latest
似乎已经过时了。
如果要在最新的运行时中使用最新版本(4.2.2+),等等,我建议使用此新的ppa:
sudo add-apt-repository ppa:ermshiperete/monodevelop
sudo apt-get update
sudo apt-get install monodevelop-current
之后,您将在/ opt / monodevelop中安装monodevelop。要启动IDE,请使用以下脚本:
/opt/monodevelop/bin/monodevelop-launcher.sh
mono
和build
的路径,F#似乎没有建立呢,F#结合尚未MonoDevelop的5下支持