I installed Unity 5.5.1f1 three times in a row, thinking that something had gone wrong but it appears that, whatever I do, MonoDevelop doesn’t start from within editor. It doesn’t start at all anyway.
I labelled it “bug” but it’s something different; a bug does not happen systematically.
In the Preferences->External Editor section, use the browse button and locate the monodevelop binary shipped with Unity. it seems the ‘use internal monodevelop’ setting does not find it correctly.
Ah, that could be it, since Unity was installed through the Ubuntu “store” (sorry, I don’t remember it’s exact name. The deb package is open with the software installer and nothing is listed there.
Thanks!
Anyway, I consider switching to Linux Mint, I hate Unity, the user interface that is installed by default with Ubuntu and I don’t want to bother with installing a different one. Linux Mint Cinnamon suits me better.