In the meantime users running into this issue, here is the direct link on how to install DiscoDOS into the user's home and thus make it possible to co-exist with mono-devel: https://discodos.readthedocs.io/en/latest/CONTRIBUTION.html#macos-or-linux-install-to-user-environment HTH
In the meantime users running into this issue, here is the direct link on how to install DiscoDOS into the user's home and thus make it possible to co-exist with mono-devel: https:/ /discodos. readthedocs. io/en/latest/ CONTRIBUTION. html#macos- or-linux- install- to-user- environment
HTH