回答:
まず、ソフトウェアセンターで現在のバージョンのmono開発をアンインストールしてから、ターミナルから次のコマンドを実行します。
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
この後、monodevelopが/ opt / monodevelopにインストールされます。IDEを起動するには、次のスクリプトを使用します。
/opt/monodevelop/bin/monodevelop-launcher.sh
mono
とbuild
パスに、F#はビルドには思えない、結合F#がまだMonoDevelopの5の下でサポートされていません