Install MonoDevelop on Debian 10 (Buster)

Install MonoDevelop on Debian 10 (Buster). Never had a problem with installing MonoDevelop on Debian before. Even after they removed it from the Debian official repository. That MonoDevelop version was usually very old anyway.

This actually took me some hours to figure out and some support on Debian Facebook group https://www.facebook.com/groups/lifewithdebian/

For Debian 8 and Debian 9 the instructions on MonoDevelops webpage works just fine. Since Debian 10 is just out I figure they haven’t tested (and they also write that) Debian 10 yet. But should be working on newer Debian version. So lets install MonoDevelop on Debian 10.

By default apt doesn’t download from https, so you need to install the following packages first.

sudo apt install apt-transport-https dirmngr

Then we add the key for the repository.

sudo apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys 3FA7E0328081BFF6A14DA29AA6A19B38D3D831EF

Add the correct repository for Debian 10 (Buster)

echo "deb https://download.mono-project.com/repo/debian buster main" | sudo tee /etc/apt/sources.list.d/mono-official-vs.list

Last thing before installing MonoDevelop, update your package list.

sudo apt update

Then you can install MonoDevelop.

sudo apt-get install monodevelop

Hope you managed to install MonoDevelop to Debian 10. Your Debian 10 system should now have the latest MonoDevelop version installed. Congrats!

If you follow the same path in MonoDevelops instructions for Debian 8 and Debian 9, where they use vs-jessie and vs-stretch. You would assume to use vs-buster. If you use vs-buster and try to install MonoDevelop you will not find it. You will get a message with something like: Unable to locate the package: monodevelop

Also check out if you like: Fastest Debian Mirror, and how to find it

About Author

Related Posts

php8 gd

PHP8 gd Activate after installation

PHP8 GD activate after installation. GD doesn’t get activated by default. Not even a reboot after installation will activate it. So how do we do it? In…

Debian 12: linux-image-6.1.0-10amd64

Troubleshooting dependency issues in Debian 12: Resolving linux-image-6.1.0-10amd64 package dependency problems. If you installed the Debian 12 from the live image the issue is the raspi-firmware. Even…

OpenMediaVault default password

OpenMediaVault default password

OpenMediaVault default password is printed in the documentation. I did not see it the first time I installed it either. So I had to do some detective…

Debian change dns

Debian change DNS settings to a new DNS

Debian change DNS settings for speed improvement or privacy. It is really easy to do. So let us see how it’s done and get to it. The…

Upgrade debian 9 to debian 10

Upgrade Debian 9 to Debian 10

Upgrade Debian 9 to Debian 10 is very similar to upgrading previous versions. The only you need to do is change the sources to Buster instead of…

Debian 10 Static IP

Debian 10 Static IP

Debian 10 static IP works just like the previous version. They changed the naming of the network interfaces in Debian 9. However if you have upgraded from…

Leave a Reply