Dankje! Het is dus te verhelpen door een nieuwe versie van monodevelop te installeren.
Maar dit geeft wat problemen. Er is geen .deb te vinden dus heb ik de source van 0.18 hier gedownload:
http://www.monodevelop.com/DownloadVervolgens voer ik ./configure uit
Maar dit geeft aan het einde wat foutmeldingen
leendert@leendert-laptop:~$ cd /home/leendert/monodevelop/
leendert@leendert-laptop:~/monodevelop$ ./configure
checking for a BSD-compatible install... /usr/bin/install -c
checking whether build environment is sane... yes
checking for a thread-safe mkdir -p... /bin/mkdir -p
checking for gawk... no
checking for mawk... mawk
checking whether make sets $(MAKE)... yes
checking how to create a ustar tar archive... gnutar
checking whether to enable maintainer-specific portions of Makefiles... no
checking for style of include used by make... GNU
checking for gcc... gcc
checking for C compiler default output file name... a.out
checking whether the C compiler works... yes
checking whether we are cross compiling... no
checking for suffix of executables...
checking for suffix of object files... o
checking whether we are using the GNU C compiler... yes
checking whether gcc accepts -g... yes
checking for gcc option to accept ISO C89... none needed
checking dependency style of gcc... none
checking for intltool >= 0.25... 0.35.5 found
checking for perl... /usr/bin/perl
checking for XML::Parser... ok
checking for iconv... /usr/bin/iconv
checking for msgfmt... /usr/bin/msgfmt
checking for msgmerge... /usr/bin/msgmerge
checking for xgettext... /usr/bin/xgettext
checking for mono... /usr/bin/mono
checking for gmcs... /usr/bin/gmcs
checking for update-mime-database... /usr/bin/update-mime-database
checking for update-desktop-database... /usr/bin/update-desktop-database
checking for pkg-config... /usr/bin/pkg-config
checking pkg-config is at least version 0.9.0... yes
checking for UNMANAGED_DEPENDENCIES_MONO... no
checking for UNMANAGED_DEPENDENCIES_MINT... no
configure: error: Please install mono version 1.1.10 or later to install MonoDevelop.
Please see http://www.mono-project.org/ to download latest mono sources or packages
Ik krijg dus de melding dat ik minstens mono 1.1.10 geinstalleerd moet hebben. Maar standaard beschikt Ubuntu zelfs over versie 1.2.4
Wat kan ik hier nou aan doen?