-
Sim, é fixo, mas não nos pacotes do Ubuntu. Parece 13.04 tem a mesma versão do MonoDevelop como 12.10, por isso ainda deve ser quebrado. Você pode tentar enviar um relatório de bug e ver se ele atualiza o pacote para uma versão mais recente.
-
A única solução que sei é instalar uma versão mais recente do MonoDevelop. Para fazer isso, você pode usar um PPA ou construir você mesmo.
Usando um PPA
Uma pesquisa rápida retornou este PPA. Ele fornece a versão mais recente do MonoDevelop, portanto, se alguém fizer alguma alteração no código-fonte, esses pacotes deverão ser recriados e atualizados.
Eu não usei, então não posso dizer o quão estável é. Além disso, como ele oferece o MonoDevelop 4, durante a instalação, seu tempo de execução mono também deve ser atualizado.
Portanto, se usar um PPA for uma opção e você quiser ter o mais recente e melhor MonoDevelop:
sudo apt-add-repository ppa:keks9n/monodevelop-latest
sudo apt-get update && sudo apt-get install monodevelop-latest
Construindo o MonoDevelop sozinho
Para construir o MonoDevelop, primeiro é necessário clonar o repositório do git e os módulos necessários:
git clone git://github.com/mono/monodevelop.git
cd monodevelop
git submodule init
git submodule update
Depois disso, você precisa fazer o checkout da versão desejada. Eu só tentei 3.1, mas você pode selecionar uma versão mais recente:
git checkout monodevelop-3.1-series
Em seguida, você precisa instalar as dependências de construção. Você pode querer tomar nota do que será instalado, caso queira removê-los após a compilação.
sudo apt-get build-dep monodevelop
Finalmente, você precisa compilá-lo como de costume:
./configure --prefix=/usr/local --profile=stable
make -j 4
sudo make install
Nota: se você quiser, pode substituir make install
por checkinstall
: em vez de copiar os arquivos para o sistema de arquivos raiz, ele criará um pacote debian (que é muito mais fácil de ) instalar) e instalá-lo.
sudo checkinstall --pkgname=monodevelop-mygitbuild
Se você precisar removê-lo depois, basta fazer um sudo apt-get remove monodevelop-mygitbuild
.
No final, você pode executar sua compilação do MonoDevelop em um terminal com /usr/local/bin/monodevelop
. Se tudo funcionar bem, você pode criar um lançador (você pode usar /usr/share/applications/monodevelop.desktop
como base).